CoCoSpec: A Mode-Aware Contract Language for Reactive Systems.

Adrien Champion Arie Gurfinkel Temesghen Kahsai Cesare Tinelli

Published in: SEFM (2016)

Keyphrases

reactive systems
programming language
model checking
temporal logic
information flow
language learning
formal methods
real time systems
natural language
petri net
machine learning
high level
supply chain
knowledge based systems