Вы здесь

Главная

Lecture Notes in Computer Science

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

Verification of Disributed Object-Based Systems
Verification of Distributed Algorithms with Algebraic Petri Nets
Verification of Distributed Dataspace Architetures
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
Verification of Embedded Software: Problems and Perspectives
Verification of Java Programs Using Symbolic Execution and Invariant Generation
Verification of Java s AbstractCollection Class: A Case Study
Verification of Large Software Systems
Verification of Linear Hybrid Systems by Means of Convex Approximations
Verification of Liveness Properties Using Compositional Reachability Analysis
Verification of MPI-Based Software for Scientific Computation
Verification of Nonregular Temporal Properties for Context-Free Processes
Verification of Object-Oriented Programs Using Class Invariants
Verification of Object-Z Specifications of Using Transition Systems: Application to the Radiomobile Network Design Problem
Verification of Open Systems
Verification of Parallel Systems Using Constraint Programming
Verification of Parallel System Via Decomposition
Verification of Parameterized Systems Using Logic Program Transformations
Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
Verification of Quantitative Temporal Properties of SDL Specifications
Verification of Real-Time Designs: Combining Sheduling Theory with Automatic Formal Verification
Verification of Real-Time Systems by Successive Over and Under Approximation
Verification of Safety Critical Systems Using TTM/RTTL
Verification of Source Code Transformations by Program Equivalence Checking
Verification of Systems with an Infinite State Space
Verification of Temporal Properties of Processes in a Setting with Data
Verification of the Interface of a Small Proof System in Coq
Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment
Verification of Timed Systems Using POSETs
Verification of Timeliness QoS Properties in Multimedia Systems
Verification-Oriented Language C-Light and Its Structural Operational Semantics
Verification Problems in Conceptual Workflow Specifications
Verification Techniques for LOTOS
Verification Tools for Finite-State Concurrent Systems
Verification Tools in the Development of Provably Correct Compilers
Verification via Structure Simulation
Verification with Real-Time COSPAN
Verified Order-Based Transaction Scheduling Scheme for Multilevel Secure Database Management Systems
Verifying a Compiler Optimization for Multi-Threaded Java
Verifying a Distributed Database Lookup Manager Written in Erlang
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
Verifying a Performance Estimator for Parallel DBMSs
Verifying Architectural Specifications
Verifying a Simple Pipelined Microprocessor Using Maude
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking
Verifying Automata Specifications of Probabilistic Real-time Systems
Verifying Behavioural Specifications in CafeOBJ Environment
Verifying Commit-Atomicity Using Model-Checking
Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
Verifying Consistency and Validaty of Formal Specifications by Testing