Synthesizing reactive systems from LSC requirements using the play-engine.

Hillel Kugler Cory Plock Amir Pnueli

Published in: OOPSLA Companion (2007)

Keyphrases

reactive systems
real time systems
model checking
petri net
temporal logic
information flow
formal methods
database
databases
decision makers
distributed systems
game playing