Ptolemy: A Language with Quantified, Typed Events
No abstract available.
Related papers
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems TACAS 2008
- Compositional solution space quantification for probabilistic software analysis PLDI 2014
- Optimization-Aware Compiler-Level Event Profiling TOPLAS 2023
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- 42: programmable models of computation for a component-based approach to heterogeneous embedded systems GPCE 2007
- Specy: Learning Specifications for Distributed Systems from Event Traces OOPSLA 2026
- Profiling over Adaptive Ranges CGO 2006
- Runtime Verification of Temporal Properties over Out-of-Order Data Streams CAV 2017