Automatic Formal Verification of Digital Systems using Prolog.
Zmago BrezocnikBogomir HorvatPublished in: ACM SIGCHI Bull. (1988)
Keyphrases
- formal verification
- expert systems
- intelligent systems
- automated verification
- model checking
- knowledge based systems
- semi automatic
- complex systems
- logic programming
- knowledge representation
- dynamic programming
- knowledge base
- computer systems
- learning systems
- management system
- inference rules
- digital libraries
- reinforcement learning