Executable Protocol Specification in ESL.

Edmund M. Clarke Steven M. German Yuan Lu Helmut Veith Dong Wang

Published in: FMCAD (2000)

Keyphrases

protocol specification
formal specification
language learning
process algebra
computer assisted language learning
model checking
communication protocols
formal methods
reverse engineering
concurrent systems
asynchronous circuits
distributed systems
transformation rules
english as a foreign language