Cross-fertilizing FSM verification techniques and sequential diagnosis.
Gianpiero CabodiPaolo CamuratiFulvio CornoPaolo PrinettoMatteo Sonza ReordaPublished in: EURO-DAC (1992)
Keyphrases
- finite state machines
- model checking
- fault diagnosis
- medical diagnosis
- model based diagnosis
- safety analysis
- face verification
- medical diagnostic
- sequential search
- data sets
- automatic diagnosis
- concurrent systems
- formal verification
- formal methods
- fault detection
- machine learning
- causal reasoning
- person identification
- temporal logic
- search engine
- data mining
- false acceptance rate
- real time
- attention deficit hyperactivity disorder