Infinite State Model-Checking of Propositional Dynamic Logics
From MaRDI portal
Publication:3613348
DOI10.1007/11874683_23zbMath1225.68116MaRDI QIDQ3613348
Publication date: 12 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: http://elib.uni-stuttgart.de/handle/11682/2588
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Extending propositional dynamic logic for Petri nets, Connectivity games over dynamic networks, A calculus for automatic verification of Petri nets based on resolution and dynamic logics, PDL with intersection and converse: satisfiability and infinite-state model checking