Scalable Automated Verification via Expert-System Guided Transformations.
Hari MonyJason BaumgartnerViresh ParuthiRobert KanzelmanAndreas KuehlmannPublished in: FMCAD (2004)
Keyphrases
- automated verification
- expert systems
- model checking
- automated reasoning
- formal verification
- knowledge representation
- knowledge based systems
- fuzzy logic
- knowledge acquisition
- temporal logic
- inference engine
- expert knowledge
- knowledge engineering
- hybrid intelligent
- real time
- search algorithm
- theorem proving
- fault diagnosis
- logic programming
- memory efficient
- case based reasoning
- machine learning