Efficient Fixpoint Computation for Invariant Checking.

Kavita Ravi Fabio Somenzi

Published in: ICCD (1999)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
databases
general purpose
horn clauses
object oriented
logic programming