Optimized L*-Based Assume-Guarantee Reasoning
Abstract elided by the publisher.
1,553 papers · page 56 of 78
Assume-Guarantee Synthesis
Abstract elided by the publisher.
A Reachability Predicate for Analyzing Low-Level Software
Abstract elided by the publisher.
Syntactic Optimizations for PSL Verification
Abstract elided by the publisher.
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market
Abstract elided by the publisher.
A Gröbner Basis Approach to CNF-Formulae Preprocessing
Abstract elided by the publisher.
Automatic Analysis of the Security of XOR-Based Key Management Schemes
Abstract elided by the publisher.
From Time Petri Nets to Timed Automata: An Untimed Approach
Abstract elided by the publisher.
A Symbolic Algorithm for Optimal Markov Chain Lumping
Abstract elided by the publisher.
Searching for Shapes in Cryptographic Protocols
Abstract elided by the publisher.
Improved Algorithms for the Automata-Based Approach to Model-Checking
Abstract elided by the publisher.
Detecting Races in Ensembles of Message Sequence Charts
Abstract elided by the publisher.
Multi-objective Model Checking of Markov Decision Processes
Abstract elided by the publisher.
Causal Dataflow Analysis for Concurrent Programs
Abstract elided by the publisher.
Deciding an Interval Logic with Accumulated Durations
Abstract elided by the publisher.
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
Abstract elided by the publisher.
Refining Interface Alphabets for Compositional Verification
Abstract elided by the publisher.
MAVEN: Modular Aspect Verification
Abstract elided by the publisher.
Counterexamples in Probabilistic Model Checking
Abstract elided by the publisher.
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,
Abstract elided by the publisher.