A monadic approach to automated reasoning for Bluespec SystemVerilog.
Dominic RichardsDavid R. LesterPublished in: Innov. Syst. Softw. Eng. (2011)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- deductive databases
- highly successful
- valued logic
- theorem proving
- datalog queries
- probabilistic reasoning
- reasoning tasks
- theorem prover
- datalog programs
- decision procedures
- hardware designs
- object oriented programming
- automated verification
- knowledge representation and reasoning
- logic programming
- artificial intelligence
- knowledge base