Computing All Facts Entailed By An LTL Specification.

Przemyslaw Andrzej Walega Michal Zawidzki Christoph Haase

Published in: KR (2023)

Keyphrases

linear temporal logic
model checking
temporal logic
transition systems
knowledge base
formal specification
formal verification
database
database systems
object oriented
specification language
asynchronous circuits
bounded model checking