Formal Methods in an Industrial Environment
No abstract available.
Related papers
- Object Oriented Development in an Industrial Environment OOPSLA 1987
- Verified reductions for optimization TACAS 2023
- Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV 2007
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- Functional formal methods ICFP 2002
- CPerfSmith: A Randomized C Program Generator for Performance-Oriented Compiler Testing CC 2026
- The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future Onward! 2025
- Prototyping a query compiler using Coq (experience report) ICFP 2017