Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, editors, Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Volume 8483 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Conference: sfm2014

Abstract is missing.

Analysis of Executable Software ModelsRichard Bubel, Antonio Flores-Montoya, Reiner Hähnle. 1-25 [doi]

Deadlock Detection in Linear Recursive ProgramsElena Giachino, Cosimo Laneve. 26-64 [doi]

Counterexample Generation for Discrete-Time Markov Models: An Introductory SurveyErika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. 65-121 [doi]

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsAnnu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder. 122-171 [doi]

Verification of Concurrent Systems with VerCorsAfshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski. 172-216 [doi]

Combining Monitoring with Run-Time Assertion CheckingFrank S. de Boer, Stijn de Gouw. 217-262 [doi]

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based ConcurrencyElvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas. 263-309 [doi]

Model-Based TestingMalte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer. 310-342 [doi]

runs on WebDSL