Login / Signup

Specification sketching for Linear Temporal Logic.

Simon LutzDaniel NeiderRajarshi Roy
Published in: CoRR (2022)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • specification language
  • high level
  • modal logic
  • belief revision
  • transition systems