Results on the Interface between Formal Verification and ATPG.
Hyunwoo ChoGary D. HachtelSeh-Woong JeongBernard PlessierEric M. SchwarzFabio SomenziPublished in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
- formal verification
- model checking
- automated verification
- model checker
- bounded model checking
- program slicing
- user interface
- symbolic model checking
- functional verification
- visual interface
- direct manipulation
- user friendly
- human computer interface
- formal specification
- orders of magnitude
- interface design
- temporal logic
- open source
- programming language
- software engineering
- friendly interface
- neural network