Integrated Environment for Diagnosing Verification Errors
Abstract elided by the publisher.
Related papers
- Dynamically diagnosing type errors in unsafe code OOPSLA 2016
- Diagnosing type errors with class PLDI 2015
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications CAV 1992
- The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification TACAS 2014
- Speculative analysis of integrated development environment recommendations OOPSLA 2012
- Natural and Flexible Error Recovery for Generated Modular Language Environments TOPLAS 2012
- Tree Buffers CAV 2015
- A Quick Tour of the VeriFast Program Verifier APLAS 2010