Вы здесь

Главная

проверка

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

A Blocking-based Approach to Protocol Validation
Abstract and Model Check While You Prove
Abstraction as the Key for Invariant Verification
Abstraction in Software Model Checking: Principles and Practice
Abstractions from Proofs
Accurate Widenings and Boundedness Properties of Timed Systems
A Checkable Interface Language for Pointer-Based Structures
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 Comprehensive Approach to Array Bounds Check Elimination for Java
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
Adding Apples and Oranges
Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
Addressing Dynamic Issues of Program Model Checking
A Decision Algorithm for Full Propositional Temporal Logic
A Formal Methodology to Specify E-commerce Systems
A Framework for Automatic Construction of Abstract Promela Models
A Fuzzy Logic Approach for Sensor Validation in Real Time Expert Systems
A General Procedure to Check Conjunctive Query Containment
A Grand Challenge Proposal for Formal Methods: A Verified Stack
A Graphical Interval Logic for Specifying Concurrent Systems
A Language Framework for Expressing Checkable Properties of Dynamic Software
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness
A Linear Local Model Checking Algorithm for CTL
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
All from One, One for All: on Model Cheking Using Representatives
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
A Methodology for Model-Checking Ad-hoc Networks
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
A Model of Authorization for Object-Oriented Databases Based on Object Views
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
An Algebraic Framework for Separate Type-Checking
Analyzing Mode Confusion via Model Checking
An analysis of loop checking mechanisms for logic programs
An Analyzer for Message Sequence Charts
An Annotated Bibliography on Software Inspections
An Approach to Combining B and Alloy
An Automata-Theoretic Approach to Branching-Time Model Checking
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets
An Efficient Compiler Validation Method for Ada 9X
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
An Evaluation of Inspection Automation Tools
A New Type Checking Approach for OCL Version 2.0?
An extended temporal system based on points and intervals
An Integration of Model Checking with Automated Proof Checking
A Note on Type Checking Linear Functional Languages
A Parametric Analysis of the State Explosion Problem in Model Checking
Applications of Extended Static Checking