Verification and synthesis of interconnected embedded control systems under timing contracts.
Mohammad Al KhatibMajid ZamaniPublished in: HSCC (2019)
Keyphrases
- control system
- asynchronous circuits
- model checking
- embedded systems
- data sets
- supply chain
- database
- texture synthesis
- functional verification
- control software
- industrial automation
- program synthesis
- neural network
- formal methods
- signature verification
- formal verification
- electronic commerce
- case study
- verification method
- concurrent systems
- real world
- real time