TASS: Timing Analyzer of Scenario-Based Specifications
No abstract available.
Related papers
- Automatic formal verification of MPI-based parallel programs PPoPP 2011
- Termination and non-termination specification inference PLDI 2015
- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios CAV 2021
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Model Checking Conformance with Scenario-Based Specifications CAV 2003
- Temporal Logic for Scenario-Based Specifications TACAS 2005