F-Soft: Software Verification Platform
Abstract elided by the publisher.
Related papers
- Soft contract verification ICFP 2014
- Abstracting Concolic Execution for Soft Contract Verification SAS 2025
- Soft Issues in Software Development (Panel Session) OOPSLA 1996
- Whiley: A Platform for Research in Software Verification SLE 2013
- Soft contract verification for higher-order stateful programs POPL 2018
- ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions TACAS 2019
- ESoftCheck: Removal of Non-vital Checks for Fault Tolerance CGO 2009
- Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods PPoPP 2013