Login / Signup

Code Synthesis for Timed Automata: A Comparison Using Case Study.

Anaheed AyoubAyman M. WahbaAshraf M. SalemMohamed A. Sheirah
Published in: ASM (2010)
Keyphrases
  • case study
  • timed automata
  • model checking
  • reachability analysis
  • source code
  • theorem prover
  • temporal logic
  • neural network
  • machine learning
  • database systems
  • multi agent
  • lessons learned
  • theorem proving
  • code generation