Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers
Abstract elided by the publisher.
2,069 papers · page 79 of 104
µCRL: A Toolset for Analysing Algebraic Specifications
Abstract elided by the publisher.
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
Abstract elided by the publisher.
A Practical Approach to Coverage in Model Checking
Abstract elided by the publisher.
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
Abstract elided by the publisher.
Benefits of Bounded Model Checking at an Industrial Setting
Abstract elided by the publisher.
Iterating Transducers
Abstract elided by the publisher.
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
Abstract elided by the publisher.
Attacking Symbolic State Explosion
Abstract elided by the publisher.
A Fast Bisimulation Algorithm
Abstract elided by the publisher.
A BDD-Based Model Checker for Recursive Programs
Abstract elided by the publisher.
ICS: Integrated Canonizer and Solver
Abstract elided by the publisher.
Fast LTL to Büchi Automata Translation
Abstract elided by the publisher.
Distributed Symbolic Model Checking for µ-Calculus
Abstract elided by the publisher.
Microarchitecture Verification by Compositional Model Checking
Abstract elided by the publisher.
BooStER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstarction
Abstract elided by the publisher.
Transformation-Based Verification Using Generalized Retiming
Abstract elided by the publisher.
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
Abstract elided by the publisher.
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata
Abstract elided by the publisher.
Java Bytecode Verification: An Overview
Abstract elided by the publisher.