Compositional Verification Using a Formal Component and Interface Specification.
Yue XingHuaixi LuAarti GuptaSharad MalikPublished in: ICCAD (2022)
Keyphrases
- formal methods
- formal specification
- model checking
- formal verification
- reactive systems
- asynchronous circuits
- formal language
- formal analysis
- protocol specification
- provably correct
- concurrent systems
- formal model
- specification language
- operational semantics
- user interface
- colored petri nets
- verification method
- formal languages
- requirements specification
- specification languages
- novice users
- expert systems
- friendly interface
- user friendly
- software components
- object model
- real time
- knowledge representation languages
- artificial intelligence
- high level
- visual interface
- knowledge representation
- interface design
- temporal logic