An Analysis of Zero-Clairvoyant Scheduling
Abstract elided by the publisher.
1,553 papers · page 68 of 78
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
Abstract elided by the publisher.
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
Abstract elided by the publisher.
Abstraction in Probabilistic Process Algebra
Abstract elided by the publisher.
Parameterized Verification of Multithreaded Software Libraries
Abstract elided by the publisher.
Boolean and Cartesian Abstraction for Model Checking C Programs
Abstract elided by the publisher.
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS
Abstract elided by the publisher.
Efficient Guiding Towards Cost-Optimality in UPPAAL
In this paper we present an algorithm for efficiently computing the minimum cost of reaching a goal state in the model of Uniformly Priced Timed Automata (UPTA). This model can be seen as a submodel of the recently suggested model of linearly priced timed automata, which extends …
The LOOP Compiler for Java and JML
Abstract elided by the publisher.
Parallel Model Checking for the Alternation Free µ-Calculus
Abstract elided by the publisher.
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
Abstract elided by the publisher.
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration
Abstract elided by the publisher.
Implementing a Multi-valued Symbolic Model Checker
Abstract elided by the publisher.
Coverage Metrics for Temporal Logic Model Checking
Abstract elided by the publisher.
A Sweep-Line Method for State Space Exploration
Abstract elided by the publisher.
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation
Abstract elided by the publisher.
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
Abstract elided by the publisher.
Synthesis of Linear Ranking Functions
Abstract elided by the publisher.
Language Containment Checking with Nondeterministic BDDs
Abstract elided by the publisher.
Is There a Best Symbolic Cycle-Detection Algorithm?
Abstract elided by the publisher.