A Model Checker for Verifying ConGolog Programs.

Leila Kalantari Eugenia Ternovska

Published in: AAAI/IAAI (2002)

Keyphrases

model checking
model checker
temporal logic
formal verification
formal methods
symbolic model checking
formal specification
description language
test suite
robot control
search algorithm
artificial intelligence
high level
set theory