Verifying Hyperproperties With TLA.

Leslie Lamport Fred B. Schneider

Published in: CSF (2021)

Keyphrases

temporal logic
model checking
formal specification language
verification method
finite state
formal verification
knowledge acquisition
formal specification