Login / Signup

Fast, Flexible, and Minimal CTL Synthesis via SMT.

Tobias KlenzeSam BaylessAlan J. Hu
Published in: CAV (1) (2016)
Keyphrases
  • model checking
  • temporal logic
  • temporal properties
  • lightweight
  • statistical machine translation
  • computation tree logic
  • case study
  • program synthesis
  • bounded model checking