A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings
Abstract elided by the publisher.
1,553 papers · page 64 of 78
Tampere Verification Tool
Abstract elided by the publisher.
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Abstract elided by the publisher.
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Abstract elided by the publisher.
On Optimal Scheduling under Uncertainty
Abstract elided by the publisher.
Counter-Example Guided Predicate Abstraction of Hybrid Systems
Abstract elided by the publisher.
Modular Strategies for Recursive Game Graphs
Abstract elided by the publisher.
Experimental Analysis of Different Techniques for Bounded Model Checking
Abstract elided by the publisher.
Resets vs. Aborts in Linear Temporal Logic
Abstract elided by the publisher.
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis
Abstract elided by the publisher.
Code-Based Test Generation for Validation of Functional Processor Descriptions
Abstract elided by the publisher.
Construction of Efficient BDDs for Bounded Arithmetic Constraints
Abstract elided by the publisher.
Compositional Analysis for Verification of Parameterized Systems
Abstract elided by the publisher.
Static Guard Analysis in Timed Automata Verification
Abstract elided by the publisher.
Bounded Model Checking for Past LTL
Abstract elided by the publisher.
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic
Abstract elided by the publisher.
State Class Constructions for Branching Analysis of Time Petri Nets
Abstract elided by the publisher.
Automatic Test Generation with AGATHA
Abstract elided by the publisher.
Pattern-Based Abstraction for Verifying Secrecy in Protocols
Abstract elided by the publisher.
BANANA - A Tool for Boundary Ambients Nesting ANAlysis
Abstract elided by the publisher.