A Demonstration of Co-Design and Co-Verification in a Synchronous Language.

Published in: DATE (2004)

Keyphrases

programming language
natural language
model checking
language learning
model checker
verification method
conceptual graphs
asynchronous communication
data sets
case study
open source
context dependent
language processing
representation language
english language