Modal Specifications.

Kim Guldstrand Larsen

Published in: Automatic Verification Methods for Finite State Systems (1989)

Keyphrases

transition systems
delay insensitive
modal logic
temporal logic
concurrent systems
bounded model checking
evolutionary algorithm
model checking
computer vision
specification language
finite state machines
nonmonotonic logics
control flow
functional requirements
object oriented
artificial neural networks
high level