Login / Signup

Interval Temporal Logic for Visibly Pushdown Systems.

Laura BozzelliAngelo MontanariAdriano Peron
Published in: FSTTCS (2019)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • reactive systems
  • dynamic constraints
  • model checker
  • concurrent systems
  • expert systems
  • knowledge based systems
  • complex systems
  • formal methods
  • verification method