Whiley: A Platform for Research in Software Verification
No abstract available.
Related papers
- The whiley rewrite language (WyRL) SLE 2015
- mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic CAV 2024
- Language Design Meets Verifying Compilers (Keynote) GPCE 2022
- The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
- F-Soft: Software Verification Platform CAV 2005
- CPAchecker: A Tool for Configurable Software Verification CAV 2011
- Kami: a platform for high-level parametric hardware specification and its modular verification ICFP 2017
- ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions TACAS 2019