EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation
No abstract available.
Related papers
- Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote TACAS 2023
- cvc5: A Versatile and Industrial-Strength SMT Solver TACAS 2022
- wxHaskell: a portable and concise GUI library for haskell Haskell 2004
- A formal framework for component deployment OOPSLA 2006
- Formally Verifying Optimizations with Block Simulations OOPSLA 2023
- Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation TACAS 2003
- Formal Specifications on Industrial-Strength Code-From Myth to Reality CAV 2006
- Selective context-sensitivity guided by impact pre-analysis PLDI 2014