On-the-Fly Reachability and Cycle Detection for Recursive State Machines
Abstract elided by the publisher.
1,553 papers · page 60 of 78
Time-Efficient Model Checking with Magnetic Disk
Abstract elided by the publisher.
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
Abstract elided by the publisher.
Empirically Efficient Verification for a Class of Infinite-State Systems
Abstract elided by the publisher.
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking
Abstract elided by the publisher.
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP
Abstract elided by the publisher.
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
Abstract elided by the publisher.
Java-MOP: A Monitoring Oriented Programming Environment for Java
Abstract elided by the publisher.
SATABS: SAT-Based Predicate Abstraction for ANSI-C
Abstract elided by the publisher.
Dynamic Symmetry Reduction
Abstract elided by the publisher.
Algorithmic Verification of Recursive Probabilistic State Machines
Abstract elided by the publisher.
DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems
Abstract elided by the publisher.
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs
Abstract elided by the publisher.
Snapshot Verification
Abstract elided by the publisher.
Monte Carlo Model Checking
Abstract elided by the publisher.
Truly On-the-Fly LTL Model Checking
We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized Buchi automaton for the negation of the formula and the emptiness check. Our algorithm first converts the LTL formula into a linear weak alternating automaton; …
A New Algorithm for Strategy Synthesis in LTL Games
Abstract elided by the publisher.
A Generic Theorem Prover of CSP Refinement
Abstract elided by the publisher.
Localization and Register Sharing for Predicate Abstraction
Abstract elided by the publisher.
Symbolic Test Selection Based on Approximate Analysis
Abstract elided by the publisher.