Verifying Properties of HMS Machine Specifications of Real-Time Systems
Abstract elided by the publisher.
Related papers
- Characterizing emerging heterogeneous memory ISMM 2016
- An Old-Fashined Recipe for Real-Time TOPLAS 1994
- Over-Approximation of Weakly-Hard Constraints for Control Systems Verification CAV 2026
- Probabilistic verification of fairness properties via concentration OOPSLA 2019
- A Model Parametric Real-Time Logic TOPLAS 1992
- Principal Type Inference under a Prefix: A Fresh Look at Static Overloading PLDI 2025
- Relational Hoare Logic for Realistically Modelled Machine Code CAV 2025
- HM(X) type inference is CLP(X) solving JFP 2008