Login / Signup
The Discourje project: run-time verification of communication protocols in Clojure.
Ruben Hamers
Erik Horlings
Sung-Shik Jongmans
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
communication protocols
protocol specification
communication protocol
communication networks
distinctive features
case study
programming language
model checking
concurrent programming
software development
data processing