Simplifying Inductive Schemes in Temporal Logic.

Pablo Cordero Inmaculada Fortes Inmaculada Perez de Guzmán Sixto Sánchez

Published in: TIME (2019)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
computation tree logic
verification method
linear temporal logic
formal specification language
transition systems
inductive logic programming
dynamic constraints
bounded model checking
reactive systems
temporally extended