Partial-Order Reduction in Symbolic State Space Exploration
Abstract elided by the publisher.
2,069 papers · page 88 of 104
Weak Bisimulation for Fully Probabilistic Processes
Abstract elided by the publisher.
Model Checking in a Microprocessor Design Project
Abstract elided by the publisher.
RuleBase: Model Checking at IBM
Abstract elided by the publisher.
Efficient Detection of Vacuity in ACTL Formulaas
Abstract elided by the publisher.
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design
Abstract elided by the publisher.
µcke - Efficient µ-Calculus Model Checking
Abstract elided by the publisher.
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract)
Abstract elided by the publisher.
Towards a Mechanization of Cryptographic Protocal Verification
Abstract elided by the publisher.
The Industrial Success of Verification Tools Based on Stålmarck's Method
Abstract elided by the publisher.
Some Progress in the Symbolic Verification of Timed Automata
Abstract elided by the publisher.
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Abstract elided by the publisher.
The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems
Abstract elided by the publisher.
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract)
Abstract elided by the publisher.
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints
Abstract elided by the publisher.
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
Abstract elided by the publisher.
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors
Abstract elided by the publisher.
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable
Abstract elided by the publisher.
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
Abstract elided by the publisher.
Construction of Abstract State Graphs with PVS
Abstract elided by the publisher.