Superposition Refinement of Reactive Systems.

Ralph-Johan Back Kaisa Sere

Published in: Formal Aspects Comput. (1996)

Keyphrases

reactive systems
model checking
temporal logic
information flow
petri net
control flow
formal methods
real time systems
artificial intelligence
expert systems
knowledge based systems
theorem proving