Automatic Derivation of Timing Constraints by Failure Analysis
No abstract available.
Related papers
- Automatically enforcing fresh and consistent inputs in intermittent systems PLDI 2021
- Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs ESOP 1999
- Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching Haskell 2008
- Constraint-based termination analysis of logic programs TOPLAS 1999
- The xSAP Safety Analysis Platform TACAS 2016
- Raising expectations: automating expected cost analysis with types ICFP 2020
- Control-flow recovery from partial failure reports PLDI 2017
- Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization PPoPP 1999