Verification of Floating-Point Adders
Abstract elided by the publisher.
2,069 papers · page 86 of 104
Symmetry Reductions in Model Checking
Abstract elided by the publisher.
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
Abstract elided by the publisher.
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic
Abstract elided by the publisher.
An Experiment in Parallelizing an Application Using Formal Methods
Abstract elided by the publisher.
Formal Methods in an Industrial Environment
Abstract elided by the publisher.
Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems
Abstract elided by the publisher.
MONA 1.x: New Techniques for WS1S and WS2S
Abstract elided by the publisher.
Verification of Parameterized Bus Arbitration Protocol
Abstract elided by the publisher.
Protocol Verification in Nuprl
Abstract elided by the publisher.
Verifying Mobile Processes in the HAL Environment
Abstract elided by the publisher.
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions
Abstract elided by the publisher.
Normed Simulations
Abstract elided by the publisher.
Synchronous Programming of Reactive Systems
Abstract elided by the publisher.
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle
Abstract elided by the publisher.
SCR*: A Toolset for Specifying and Analyzing Software Requirements
Abstract elided by the publisher.
From Pre-historic to Post-modern Symbolic Model Checking
Abstract elided by the publisher.
You Assume, We Guarantee: Methodology and Case Studies
Abstract elided by the publisher.
A Formal Method Experience at Secure Computing Corporation
Abstract elided by the publisher.
On Checking Model Checkers
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their practical significance. Though the rules for determining what is and what is not a good proof of correctn…