Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Up to date results Fast conference proceedings State-of-the-art report
Autor*in
Jaco van der Pol
Themen in »Model Checking Software«
abstraction automatic testing bisimulation bug finding completeness formal methods formal modeling nondeterminism probabilistic models program analysis simulation static analysis testing verification condition
Stimmen zu »Model Checking Software«
Details
ISBN: 9783642161636
Verlag: Springer Berlin
Erscheinung: 27.09.2010