Login / Signup

On Freeze LTL with Ordered Attributes.

Normann DeckerDaniel Thoma
Published in: FoSSaCS (2016)
Keyphrases
  • attribute values
  • model checking
  • real time
  • temporal logic
  • linear temporal logic
  • domain specific
  • multi attribute
  • bounded model checking
  • input data
  • modal logic
  • multiple attributes