Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
проверка моделей
Связанные издания:
A Multi-Agent Framework Based on Communication and Concurrency
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
Automatized Verification of Ad Hoc Routing Protocols
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures
"Don t Know" in the Mu-Calculus
Efficient Verification of Halting Properties For MPI Programs with Wildcard Receives
Formal Approaches to Agent-Based Systems: Revised Selected Papers/Third International Workshop, FAABS 2004. Greenbelt, MD, USA, April 2004
Formal Approaches to Software Testing: Revised Selected Papers/4th International Workshop, FATES 2004. Linz, Austria, September 2004
Formal Methods and Software Engineering: Proc./6th International Conference on Formal Engineering Methods, ICFEM 2004. Seattle, WA, USA, November 2004
Formal Methods in Computer-Aided Design: Proc./5th International Conference, FMCAD 2004. Austin, Texas, USA, November 2004
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004
Model Checking for Database Theoreticians
Model Checking of Systems Employing Communicative Functions
Model Checking Software: Proc./14th International SPIN Workshop. Berlin, Germany, July 2007
Parameterized Model Checking of Ring-Based Message Passing Systems
Simple is Better: Efficient Bounded Model Checking for Past LTL
Software Model Checking Using Linear Constraints
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Using Model Checking for Reducing the Cost of Test Generation
Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005
Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN
Верификация раскрашенных сетей Петри методом проверки моделей
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри
Об ие знания в хорошо структурированных системах с абсолютной памятью
Оптимизационные процедуры в аффинной проверке моделей
Экспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью
Экспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью