Interval Temporal Logic for Visibly Pushdown Systems.

Laura Bozzelli Angelo Montanari Adriano Peron

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

temporal logic
model checking
dynamic constraints
reactive systems
satisfiability problem
concurrent systems
belief revision
computation tree logic
knowledge representation
modal logic
qualitative and quantitative
verification method
formal specification language