Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables.
Jonathan Julián Huerta y MunivePublished in: RV (2022)
Keyphrases
- temporal logic
- linear temporal logic
- mazurkiewicz traces
- model checking
- modal logic
- satisfiability problem
- dynamic constraints
- logical formulas
- concurrent systems
- verification method
- transition systems
- dynamic environments
- model checker
- predicate logic
- universally quantified
- computation tree logic
- dynamic programming
- belief revision
- formal specification language