Debugging and Verification Tools for Lingua Franca in Gemoc Studio.

Julien Deantoni João Cambeiro Soroush Bateni Shaokai Lin Marten Lohstroh

Published in: FDL (2021)

Keyphrases

formal methods
lingua franca
end users
decision support
model checking
hardware designs
databases
information retrieval
artificial intelligence