CREST - A Continuous, REactive SysTems DSL.

Stefan Klikovits Alban Linard Didier Buchs

Published in: MoDELS (Satellite Events) (2017)

Keyphrases

reactive systems
temporal logic
petri net
model checking
information flow
formal methods
control flow
database
decision making
knowledge base
high level
open source
distributed environment