Sign in

Debugging and Verification Tools for Lingua Franca in Gemoc Studio.

Julien DeantoniJoão CambeiroSoroush BateniShaokai LinMarten Lohstroh
Published in: FDL (2021)
Keyphrases
  • formal methods
  • lingua franca
  • end users
  • decision support
  • model checking
  • hardware designs
  • databases
  • information retrieval
  • artificial intelligence