GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae
Abstract elided by the publisher.
1,553 papers · page 58 of 78
PReMo : An Analyzer for P robabilistic Re cursive Mo dels
Abstract elided by the publisher.
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams
Abstract elided by the publisher.
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Abstract elided by the publisher.
MSCan - A Tool for Analyzing MSC Specifications
Abstract elided by the publisher.
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols
Abstract elided by the publisher.
SAT-Based Software Certification
Abstract elided by the publisher.
Verifying Concurrent Message-Passing C Programs with Recursive Calls
Abstract elided by the publisher.
Finitary Winning in omega-Regular Games
Abstract elided by the publisher.
Exploration of the Capabilities of Constraint Programming for Software Verification
Abstract elided by the publisher.
Automatic Verification of Parameterized Data Structures
Abstract elided by the publisher.
A Local Shape Analysis Based on Separation Logic
Abstract elided by the publisher.
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs
Abstract elided by the publisher.
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems
Abstract elided by the publisher.
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
Abstract elided by the publisher.
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver
Abstract elided by the publisher.
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation
Abstract elided by the publisher.
Compositional Model Extraction for Higher-Order Concurrent Programs
Abstract elided by the publisher.
Exploiting Traces in Program Analysis
Abstract elided by the publisher.
Counterexample Driven Refinement for Abstract Interpretation
Abstract elided by the publisher.