How Vacuous Is Vacuous?
Abstract elided by the publisher.
1,553 papers · page 63 of 78
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Abstract elided by the publisher.
From Complementation to Certification
Abstract elided by the publisher.
Revisiting Positive Equality
Abstract elided by the publisher.
A Scalable Incomplete Test for the Boundedness of UML RT Models
Abstract elided by the publisher.
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder
Abstract elided by the publisher.
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving
Abstract elided by the publisher.
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata
Abstract elided by the publisher.
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method
Abstract elided by the publisher.
An Interpolating Theorem Prover
Abstract elided by the publisher.
MetaGame: An Animation Tool for Model-Checking Games
Abstract elided by the publisher.
The Succinct Solver Suite
Abstract elided by the publisher.
CoPS - Checker of Persistent Security
Abstract elided by the publisher.
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Abstract elided by the publisher.
Resource-Optimal Scheduling Using Priced Timed Automata
Abstract elided by the publisher.
Minimal Assignments for Bounded Model Checking
Abstract elided by the publisher.
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Abstract elided by the publisher.
Automated Generation of a Progress Measure for the Sweep-Line Method
Abstract elided by the publisher.
Online Efficient Predictive Safety Analysis of Multithreaded Programs
Abstract elided by the publisher.
Monotonic Abstraction-Refinement for CTL
Abstract elided by the publisher.