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

Nils Bulling Hoang Nga Nguyen

Published in: PRIMA (2015)

Keyphrases

model checking
distributed systems
formal methods
artifact centric
domain knowledge
formal verification
automated verification
cooperative
expert systems
knowledge based systems
logic programming
first order logic
resource bounded