Вы здесь

Главная

проверка

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

Does Every Inspection Need a Meeting?
Domain Compression for Complete Abstractions
Efficient and Complete Tests for Database Integrity Constraint Checking
Efficient CSPz Data Abstraction
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
Efficient Local Model-Checking for Fragments of the Modal -Calculus
Efficient Model Checking by Automated Ordering of Transition Relation Partitions
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints
Efficient Schema-Based Revalidation of XML
Efficient Verification of Timed Automata with BDD-Like Data-Structure
Electronic Voting: Proc./3rd International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2018
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
Embedding Chaos
Equivalence-Checking with Infinite-State Systems: Techniques and Results
Error Detection with Directed Symbolic Model Checking
Evaluating Workflow and Process Automation in Wide-Area Software Development
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Existential Heap Abstraction Entailment Is Undecidable
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications
Experimentation with Usage-Based Reading
Explicit State Model Checking with Hopper
Exploiting Hierarchical Structure for Efficient Formal Verification
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond
Exploiting Symmetry In Temporal Logic Model Checking
Exploring the Boundaries of Static Safety in Persistent Application Systems
Explosing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
Extended Static Checking
Extending the Translation from SDL to Promela
Extreme Model Checking
Fast and Accurate Bitstate Verification for SPIN
Feature Interaction Detection Using Testing and Model-Checking Experience Report
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Filter-Based Model Checking of Partial Systems
Finding Bugs with a Constraint Solver
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
Finite Approximations for Model Checking Non-finite-state Processes
Finite Model Checking and Beyond
Flexible Static Semantic Checking Using First-Order Logic
FME 2003 - Forma Methods: Proc./Intern. Symp. of Formal Methods Europe, Pisa, Italy, September 2003
Formalising Behaviour Trees with CSP
Formal Modeling of Java GUI Event Handling
Formal Techniques for Java Programs
Formal Verification of a Partial-Order Reduction Technique for Model Checking
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Formula-Dependent Equivalence for Compositional CTL Model Checking
Foundations of the Bandera Abstraction Tools
From Algorithms to Working Programs: On the Use of Program Checking in LEDA
From Falsification to Verification
From Implicit Specifications to Explicit Designs in Reactive System Development
From Model Checking to a Temporal Proof