Composition, decomposition and model checking optimal of pushdown processes (1999)

by O Burkart, B Steffen
Venue:Handbook of Process Algebra. Elsevier Science Publisher B.V
Add To MetaCart
Results 1 - 3 of 3

Summarizing procedures in concurrent programs

by Shaz Qadeer, Sriram K. Rajamani - In Proceedings of the ACM Symposium on the Principles of Programming Languages , 2004
"... ..."
Abstract - Cited by 46 (5 self) - Add to MetaCart
Abstract not found

Model Checking as Constraint Solving

by Andreas Podelski
"... ..."
Abstract - Cited by 15 (0 self) - Add to MetaCart
Abstract not found

Decidability and Complexity of Model Checking . . .

by Richard Mayr
"... ..."
Abstract - Add to MetaCart
Abstract not found