SYS/3 - A Software Development Tool
Abstract elided by the publisher.
Related papers
- Enforcing High-Level Protocols in Low-Level Software PLDI 2001
- ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation TACAS 2000
- An Extension of Standard ML Modules with Subtyping and Inheritance POPL 1991
- International Competition on Software Testing (Test-Comp) TACAS 2019
- Verified squared: does critical software deserve verified tools? POPL 2011
- An Isabelle/HOL formalization of AProVE's termination method for LLVM IR CPP 2021
- Experience report: using objective caml to develop safety-critical embedded tools in a certification framework ICFP 2009
- LCV: A Verification Tool for Linear Controller Software TACAS 2019