Analysis of structured use case models through model checking.

Ksenia Ryndina Pieter S. Kritzinger

Published in: South Afr. Comput. J. (2005)

Keyphrases

model checking
temporal logic
reactive systems
finite state machines
formal verification
finite state
temporal properties
formal specification
model checker
verification method
abstract interpretation
alternating time temporal logic