The Twilight Zone: From Testing to Formal Specifications and Back Again
Abstract elided by the publisher.
Related papers
- Formally Verified Switching Logic for Recoverability of Aircraft Controller CAV 2021
- THERE AND BACK AGAIN: Lessons Learned on the Way to the Market TACAS 2007
- There and back again ICFP 2002
- There and back again: arrows for invertible programming Haskell 2005
- Adventures in monitorability: from branching to linear time and back again POPL 2019
- Taking Back Control in an Intermediate Representation for GPU Computing POPL 2023
- Living in the comfort zone OOPSLA 2007
- The Tortoise and the Hare Algorithm for Finite Lists, Compositionally TOPLAS 2023