Towards the Automated Verification of Multithreaded Java Programs
Abstract elided by the publisher.
1,553 papers · page 67 of 78
Model Checking Large-Scale and Parameterized Resource Allocation Systems
Abstract elided by the publisher.
Timed Automata with Asynchronous Processes: Schedulability and Decidability
Abstract elided by the publisher.
Simulation as Coarsest Partition Problem
Abstract elided by the publisher.
Exploring Very Large State Spaces Using Genetic Algorithms
Abstract elided by the publisher.
Adaptive Model Checking
Abstract elided by the publisher.
Temporal Debugging for Concurrent Systems
Abstract elided by the publisher.
Synthesizing Monitors for Safety Properties
Abstract elided by the publisher.
Parallelisation of the Petri Net Unfolding Algorithm
Abstract elided by the publisher.
A Temporal Logic Based Theory of Test Coverage and Generation
Abstract elided by the publisher.
Alloy: A New Technology for Software Modelling
Abstract elided by the publisher.
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis
Abstract elided by the publisher.
Fate and Free Will in Error Traces
Abstract elided by the publisher.
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS
Abstract elided by the publisher.
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
Abstract elided by the publisher.
Compositional Verification Using SVL Scripts
Abstract elided by the publisher.
Software Construction and Analysis Tools for Future Space Missions
Abstract elided by the publisher.
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
Abstract elided by the publisher.
Digitisation and Full Abstraction for Dense-Time Model Checking
Abstract elided by the publisher.
Real-Time Systems Design with PEP
Abstract elided by the publisher.