HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment.
Dominique BorrioneH. BouamamaDavid DéharbeC. Le FaouAyman M. WahbaPublished in: FMCAD (1996)
Keyphrases
- formal methods
- knowledge based systems
- model checking
- formal analysis
- model checker
- reactive systems
- formal specification
- software engineering
- safety critical
- mobile robot
- process algebra
- provably correct
- artificial intelligence
- object oriented
- computer aided design
- formal specification language
- security properties
- programming environment
- modeling language
- computer aided
- data warehouse
- expert systems