Automated Verification of Prolog Programs.
Baudouin Le CharlierChristophe LeclèreSabina RossiAgostino CortesiPublished in: J. Log. Program. (1999)
Keyphrases
- prolog programs
- automated verification
- model checking
- logic programs
- automated reasoning
- formal verification
- temporal logic
- answer set programming
- logic programming
- graph theory
- answer sets
- knowledge representation
- error rate
- petri net
- heuristic search
- artificial intelligence
- probabilistic inference
- data flow
- natural language
- case study