Similar Items: LF : a language for reliable embedded systems
- A language to support verification of embedded software
- A model checker for the LF system
- The design of a specification language suitable for the generation of compilers
- The language approach to the development of reliable concurrent programs
- A survey of proof systems for CSP
- Towards securing software of embedded Linux devices