Contract Automata: A Specification Language for Mode-Based Systems.

Alexander Weigl Joshua Bachmeier Bernhard Beckert Mattias Ulbrich

Published in: FormaliSE@ICSE (2024)

Keyphrases

specification language
distributed systems
formal specification
software environment
search algorithm
finite state machines
database
high level
cooperative
description language
formal languages