Quantifying Conformance Using the Skorokhod Metric
No abstract available.
Related papers
- Lipschitz Robustness of Timed I/O Systems VMCAI 2016
- Higher-Order Behavioural Conformances via Fibrations POPL 2026
- Dynamic metrics for java OOPSLA 2003
- Design pattern density defined OOPSLA 2009
- KJS: a complete formal semantics of JavaScript PLDI 2015
- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages ICFP 2012
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Effective floating-point analysis via weak-distance minimization PLDI 2019