Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools.
Ghaith TarawnehAndrey MokhovPublished in: ASYNC (2018)
Keyphrases
- formal verification
- automated verification
- asynchronous communication
- distributed systems
- model checking
- computer systems
- building blocks
- learning systems
- heterogeneous systems
- expert systems
- formal methods
- software tools
- commercial systems
- asynchronous circuits
- model checker
- critical infrastructure
- industrial applications
- software developers
- software components
- knowledge based systems
- intelligent systems
- programming language
- management system