Formal Verification and Hardware Design with Statecharts.
Jan PhilippsPeter ScholzPublished in: Prospects for Hardware Foundations (1998)
Keyphrases
- hardware design
- formal verification
- model checker
- model checking
- symbolic model checking
- hardware implementation
- bounded model checking
- reactive systems
- fpga hardware
- automated verification
- hardware software
- agent oriented
- program slicing
- image processing
- field programmable gate array
- temporal logic
- knowledge based systems
- data processing
- machine learning
- software architecture
- open source
- artificial intelligence