Crowd-Based Programming for Reactive Systems.

David Harel Idan Heimlich Rami Marelly Assaf Marron

Published in: CSI-SE@ICSE (2017)

Keyphrases

reactive systems
model checking
temporal logic
information flow
petri net
control flow
real time systems
formal methods
state machines
knowledge base