Вы здесь

Главная

проверка

Связанные издания:

Model Checking FTA
Model Checking in CLP
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN
Model Checking in Practice. The T9000 Virtual Channel Processor
Model Checking Knowledge and Time
Model Checking Large-Scale and Parameterized Resource Allocation Systems
Model Checking Logics for Communicating Sequential Agents
Model Checking LTL Using Net Unforldings
Model-Checking LTL with Regular Valuations for Pushdown Systems
Model-checking mu-Calculus in Well-Structured Transition Systems
Model Checking Multi-Agent Programs with CASP
Model-Checking Multi-threaded Distributed Java Programs
Model Checking Object-Z Using ASM
Model Checking of Hierarchical State Machines
Model Checking of Macro Processes
Model Checking of Non-Finite State Processes by Finite Approximations
Model Checking of Probabilistic and Nondeterministic Systems
Model Checking of Safety Properties
Model Checking of Time Petri Nets
Model Checking of Time Petri Nets Based on Partial Order Semantics
Model Checking of Unrestricted Hierarchical State Machines
Model Checking Partial State Spaces with 3-Valued Temporal Logics
Model Checking Probabilistic Distributed Systems
Model Checking Publish-Subscribe Systems
Model checking puzzles in mu-Calculus
Model Checking Real-Time Properties of Symmetric Systems
Model Checking Security Protocols Using a Logic of Belief
Model Checking Software: Proc./10th Intern. SPIN Workshop, Portland, OR, USA, May 2003
Model Checking Software: Proc./11th Intern. SPIN Workshop, Barcelona, Spain, April 2004
Model Checking Software: Proc./8th Intern. SPIN Workshop, Toronto, Canada, May 2001
Model Checking Software: Proc./9th Intern. SPIN Workshop, Grenoble, France, April 2002
Model Checking Software via Abstraction of Loop Transitions
Model Checking Support for the ASM High-Level Language
Model Checking: Theory into Practice
Model Checking with Finite Complete Prefixes Is PSPACE-Complete
Model Checking with Multi-Valued Logics
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft
Model Cheking Using Net Unfoldings
Model-Driven Software Verification
Modeling and Formal Verification of Production Automation Systems
Modeling and Model Checking a Distributed Shared Memory Consistency Protocol
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking
Modeling and Verification of Parallel Processes: Proc./4th Summer School, MOVEP 2000, Nantes, France, June 2000
Modelling and Validation of Complex Systems by Coloured Petri Nets. Application to a Flexible Manufacturing System
Modular Model Checking
Modular Model Checking of Software
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
Modular Verification for a Class of PLTL Properties
Multiple State and Single State Tableaux for Combining Local and Global Model Checking
Multiprocessor Validation of the Pentium Pro