Linear Temporal Logic.

Salomon Sickert

Published in: Arch. Formal Proofs (2016)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
probability distribution
orders of magnitude
concurrent systems