Quickstrom: property-based acceptance testing with LTL specifications.

Liam O'Connor Oskar Wickström

Published in: PLDI (2022)

Keyphrases

bounded model checking
formal verification
model checking
temporal logic
transition systems
formal specification
linear temporal logic
specification language
model checker
neural network
test cases
concurrent systems
reinforcement learning
finite state machines