An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite mo
Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-qua