Action Language Verifier, Extended
Abstract elided by the publisher.
2,069 papers · page 71 of 104
Probabilistic Verification for "Black-Box" Systems
Abstract elided by the publisher.
Ymer: A Statistical Model Checker
Abstract elided by the publisher.
Efficient Monitoring of omega-Languages
Abstract elided by the publisher.
Regular Model Checking for LTL(MSO)
Abstract elided by the publisher.
Zing: A Model Checker for Concurrent Software
Abstract elided by the publisher.
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm
Abstract elided by the publisher.
JNuke: Efficient Dynamic Analysis for Java
Abstract elided by the publisher.
Proving More Properties with Bounded Model Checking
Abstract elided by the publisher.
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
Abstract elided by the publisher.
CVC Lite: A New Implementation of the Cooperating Validity Checker Category B
Abstract elided by the publisher.
Widening Arithmetic Automata
Abstract elided by the publisher.
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Abstract elided by the publisher.
Abstract Regular Model Checking
Abstract elided by the publisher.
ObsSlice: A Timed Automata Slicer Based on Observers
Abstract elided by the publisher.
Verifying omega-Regular Properties of Markov Chains
Abstract elided by the publisher.
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Abstract elided by the publisher.
Formal Analysis of Java Programs in JavaFAN
Abstract elided by the publisher.
Image Computation in Infinite State Model Checking
Abstract elided by the publisher.
Stuck-Free Conformance
Abstract elided by the publisher.