Total-Correctness Refinement for Sequential Reactive Systems.

Paul B. Jackson

Published in: TPHOLs (2000)

Keyphrases

reactive systems
model checking
temporal logic
information flow
petri net
formal methods
control flow
databases
artificial intelligence
web services
multi agent
data model
open source
real time systems