Using Petri Net Invariants in State Space Construction
Abstract elided by the publisher.
1,553 papers · page 66 of 78
Modeling and Analysis of Power-Aware Systems
Abstract elided by the publisher.
Optimistic Synchronization-Based State-Space Reduction
Abstract elided by the publisher.
Automated Module Composition
Abstract elided by the publisher.
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios
Abstract elided by the publisher.
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver
Abstract elided by the publisher.
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems
Abstract elided by the publisher.
Preemptive Job-Shop Scheduling Using Stopwatch Automata
Abstract elided by the publisher.
TIMES - A Tool for Modelling and Implementation of Embedded Systems
Abstract elided by the publisher.
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Abstract elided by the publisher.
A Functional Semantics of Attribute Grammars
Abstract elided by the publisher.
Relative Completeness of Abstraction Refinement for Software Model Checking
Abstract elided by the publisher.
Resource-Constrained Model Checking of Recursive Programs
Abstract elided by the publisher.
Black Box Unfolding with Local First Search
Abstract elided by the publisher.
CLPS-B - A Constraint Solver for B
Abstract elided by the publisher.
Beyond Parameterized Verification
Abstract elided by the publisher.
Improving the Verification of Timed Systems Using Influence Information
Abstract elided by the publisher.
Applicability of Fair Simulation
Abstract elided by the publisher.
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems
Abstract elided by the publisher.
STG: A Symbolic Test Generation Tool
Abstract elided by the publisher.