NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.
Mohamed KhalguiHans-Michael HanischPublished in: SIES (2008)
Keyphrases
- production system
- model checking
- bounded model checking
- temporal logic
- multistage
- verification method
- computation tree logic
- formal verification
- production process
- model checker
- certainty factor
- formal specification
- production rules
- expert systems
- concurrent systems
- temporal properties
- markov decision
- low cost
- real world
- multiprocessor architecture
- linear temporal logic
- control structure
- epistemic logic
- learning algorithm
- reconfigurable architecture
- belief revision
- dynamic programming
- face verification
- hardware implementation
- image understanding