Verifying pCTL Model Checking
Abstract elided by the publisher.
1,553 papers · page 47 of 78
Parameterized Synthesis
Abstract elided by the publisher.
A Platform for High Performance Statistical Model Checking - PLASMA
Abstract elided by the publisher.
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Abstract elided by the publisher.
Java Memory Model-Aware Model Checking
Abstract elided by the publisher.
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
Abstract elided by the publisher.
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
Abstract elided by the publisher.
CPAchecker with Adjustable Predicate Analysis - (Competition Contribution)
Abstract elided by the publisher.
Demonstrating Learning of Register Automata
Abstract elided by the publisher.
Compositional Termination Proofs for Multi-threaded Programs
Abstract elided by the publisher.
Predicate Analysis with BLAST 2.7 - (Competition Contribution)
Abstract elided by the publisher.
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution)
Abstract elided by the publisher.
Pushdown Model Checking for Malware Detection
Abstract elided by the publisher.
Zeno: An Automated Prover for Properties of Recursive Data Structures
Abstract elided by the publisher.
A Proof Assistant for Alloy Specifications
Abstract elided by the publisher.
Symbolic Automata: The Toolkit
Abstract elided by the publisher.
Reduction-Based Formal Analysis of BGP Instances
Abstract elided by the publisher.
Wolverine: Battling Bugs with Interpolants - (Competition Contribution)
Abstract elided by the publisher.
Minimal Critical Subsystems for Discrete-Time Markov Models
Abstract elided by the publisher.
Block Abstraction Memoization for CPAchecker - (Competition Contribution)
Abstract elided by the publisher.