Parsimonious, Simulation Based Verification of Linear Systems
Abstract elided by the publisher.
Related papers
- Counters in Kappa: Semantics, Simulation, and Static Analysis ESOP 2019
- Parsimonious Optimal Dynamic Partial Order Reduction CAV 2024
- Abstractions from proofs POPL 2004
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems TACAS 2017
- Simulation-Equivalent Reachability of Large Linear Systems with Inputs CAV 2017
- Parsimony principles for software components and metalanguages GPCE 2007
- Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach VMCAI 2014
- Parsimony: Enabling SIMD/Vector Programming in Standard Compiler Flows CGO 2023