A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.

Gustavo A. Cardona Kevin Leahy Makai Mann Cristian-Ioan Vasile

Published in: CoRR (2023)

Keyphrases

temporal logic
model checking
modal logic
formal specification language
satisfiability problem
concurrent systems
computation tree logic
programming language
open source
graphical user interface
linear temporal logic
artificial intelligence
belief revision
scripting language
mazurkiewicz traces