A theoretical limit for safety verification techniques with regular fix-point computations.

Yohan Boichut Pierre-Cyrille Héam

Published in: Inf. Process. Lett. (2008)

Keyphrases

fixpoint
logic programs
model checking
deductive databases
safety analysis
artificial intelligence
pattern matching
finite state machines
theoretical analysis
machine learning
expert systems
relational databases
horn clauses