A Proof Rule for Fair Termination of Guarded Commands

Orna Grumberg Nissim Francez Johann A. Makowsky Willem P. de Roever

Published in: Inf. Control. (1985)

Keyphrases

active rules
theorem proving
term rewriting
decision procedures
termination analysis
logical rules
active databases
production rules
rewrite systems
fixed point
rule sets
first order logic
genetic algorithm
real time
linear logic
association rules
case study