Formal verification of module interfaces against real time specifications.
Arindam ChakrabartiPallab DasguptaP. P. ChakrabartiAnsuman BanerjeePublished in: DAC (2002)
Keyphrases
- formal verification
- real time
- model checking
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- low cost
- program slicing
- formal specification
- real time systems
- functional verification
- transition systems
- vision system
- user interface
- automated reasoning
- human machine interface
- formal methods
- temporal logic