Author: MacGregor, Ken
Similar Items: Specification and verification of context conditions for programming languages
- Study on Similarity among Indian Languages Using Language Verification Framework
- A language to support verification of embedded software
- Specification and verification of systems using model checking and Markov reward models
- Formal specification and verification of safety interlock systems: A comparative case study
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Novel Verification Method for Timing Optimization Based on DPSO