Вы здесь

Главная

проверка

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

Applications of Theorem Proving and Model Checking
Applying Game Semantics to Compositional Software Modeling and Verification
Applying Jlint to Space Exploration Software
Applying Model Checking in Java Verification
Approximate Probabilistic Model Checking
A Practical Soft Type System for Scheme
Artificial Intelligence: Methods and Applications: Proc./8th Hellenic Conference on AI, SETN 2014, Ioannia, Greece, May 2014
A SAT Characterization of Boolean-Program Correctness
A Separation Logic for Resource Distribution
A Slick Procedure for Integrity Checking in Deductive Databases
A Solution Relying on the Model Checking of Boolean Transition Systems
Aspect Validation Using Model Checking
A SPIN-Based Model Checker for Telecommunication Protocols
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement
A Structural Linearization Principle for Processes
A Survey of Software Inspection Checklists
A Symbolic Semantics for Abstract Model Checking
A Temporal Logic of Nested Calls and Returns
A Theory of Hints in Model Checking
A Tool for Checking the CSP sat Property
A Type System for Object Initialization in the Java Bytecode Language
Auditing Elections
Authorization Analysis of Queries in Object-Oriented Databases
Auto-generating Test Sequences Using Model Checkers: A Case Study
Automated Analysis of an Audio Control Protocol
Automatically Validating Temporal Safety Properties of Interfaces
Automatic Software Model Checking Using CLP
A Verified Typechecker
A Visual Language for Authorization Modeling
Backtracking Games and Inflationary Fixed Points
Basic polymorphic typechecking
Bebop: A Symbolic Model Checker for Boolean Programs
Behaviour-Based Model Construction
Beyond Regular Model Checking
Boolean and Cartesian Abstraction for Model Checking C Programs
Bounded Model Checking and Induction from Refutation to Verification
Bounded Model Checking for Past LTL
Bounded Model Checking for Timed Systems
Bounded Reachability Checking with Process Semantics
Branching Processes of High-Level Petri Nets
Buy One, Get One Free!!!
Bytecode Model Checking: An Experimental Analysis
Checking Bisimilarity for Finitary Pi-calculus
Checking Consistency of SDL+MSC Specifications
Checking Regular Properties of Petri Nets
Checking Spanning Trees for Optimally Using Associative Parallel Processors and Its Visualization
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Checking Subsystem Safety Properties in Compositional Reachability Analysis
Checking the Soundness of Resolution Schemes