Liveness Analysis for Parameterised Boolean Equation Systems

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse. Liveness Analysis for Parameterised Boolean Equation Systems. In Franck Cassez, Jean-Fran├žois Raskin, editors, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Volume 8837 of Lecture Notes in Computer Science, pages 219-234, Springer, 2014. [doi]

Abstract

Abstract is missing.