From B Specifications to log Forgrams.

Maximiliano Cristiá

Published in: CoRR (2024)

Keyphrases

delay insensitive
high level
formal specification
information systems
specification language
control flow
concurrent systems
case study
asynchronous circuits
data sets