Verification of parameterized hierarchical state machines using action language verifier.

Tuba Yavuz-Kahveci Tevfik Bultan

Published in: MEMOCODE (2005)

Keyphrases

state machines
action language
state machine
description language
petri net
reasoning about actions
action descriptions
model checking
answer set programming
relational databases
load balancing
situation calculus
action theories
sequence diagrams
reactive systems