Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems.

Nils Bulling Hoang Nga Nguyen

Published in: CoRR (2015)

Keyphrases

model checking
distributed systems
automated verification
finite state machines
formal methods
timed automata
computational intelligence