Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.

Luca Geatti Nicola Gigante Angelo Montanari Gabriele Venturato

Published in: TIME (2021)

Keyphrases

real world
temporal logic
bounded model checking
databases
machine learning
information retrieval
website