PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems.

Peter Gjøl Jensen Stefan Schmid Morten Konggaard Schou Jirí Srba

Published in: ATVA (2022)

Keyphrases

reachability analysis
model checking
intelligent systems
computer systems
complex systems
management system
distributed systems
artificial intelligence
expert systems
context aware
software systems