Вы здесь

Главная

верификация

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

16th World Computer Congress 2000. Proc. of Conference on Software: Theory and Practice
25 Years of Model Checking: History, Achievements, Perspectives
A Bilingual Specification Environment for Software/Hardware Co-design
A Brief Introduction to Coloured Petri Nets
Abstract and Model Check While You Prove
Abstracting Dependencies between Software Configuration Items
Abstraction and Modular Verification of Infinite-State Reactive Systems
Abstraction as the Key for Invariant Verification
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification
Abstraction in Real Time Process Algebra
Abstraction, Reformulation, and Approximation: Proc./7th International Symposium, SARA 2007, Whistler,Canada,July 2007
Abstractions from Proofs
Abstraction Techniques for Validation Coverage Analysis and Test Generation
Abstract Specification Theory
Abstract State Machines 2003 - Advances in Theory and Practice: Proc./10th Intern. Workshop, ASM 2003, Taormina, Italy, March 2003
Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012
Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008
Abstract Verification and Debugging of Constraint Logic Programs
Abstrat Interpretation and Verification of Reactive Systems
A Calculus for Access Control in Distributed Systems
A Case Study in Safely-Critical Design
A Case Study in Transformational Design of Concurrent Systems
A Case Study in Verification Based on Trace Abstractions
A Case Study: Parallel Program Development for a Recursive Numerical Algorithm
Accurate Widenings and Boundedness Properties of Timed Systems
A Checker for Modal Formulae for Processes with Data
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for Ada95 and C++ Targets
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part I: Slides
A Combined Testing and Verification Approach for Software Reliability
A Comparative Analysis of Functional Correctness
A Comparison of Two Verification Methods for Speculative Instruction Execution
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
A Compositional Approach for Fault-Tolerance Using Specification Transformation
A Compositional Real-Time Semantics of STATEMATE Designs
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
A Constraint Oriented Proof Methodology Based on Model Transition Systems
A Course on Program Verificaton
Action Refinement from a Logical Point of View
Adaptive Model Checking
Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
A Decision Algorithm for Full Propositional Temporal Logic
A decision procedure for propositional projection tempotal logic with infinite models
Adequacy-Preserving Transformations of COSY Path Programs
A Discipline of Software Architecture
Advanced Research in Applied Artificial Intelligence: Proc./25th International Conference, IEA/AIE 2012, Dalian, China, June 2012
Advancements in Symbolic Traversal Techniques
Advances in Biometrics: Proc./International Conference, ICB 2006. Hong Kong, China, January 2006