Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.

Authors :: Koolen, Ruud P. J.
Willemse, Tim A. C.
Zantema, Hans
Source :: Automated Technology for Verification & Analysis 13th International Symposium, ATVA 2015 Shanghai, China, October 12-15, 2015, Proceedings; 2015, p14-30, 17p
Publication Year :: 2015

Language :: English
ISBNs :: 9783319249520
Database :: Complementary Index
Journal :: Automated Technology for Verification & Analysis 13th International Symposium, ATVA 2015 Shanghai, China, October 12-15, 2015, Proceedings
Publication Type :: Book
Accession number :: 111365014
Full Text :: https://doi.org/10.1007/978-3-319-24953-7_3