FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (Herausgeber)

Buch | Softcover

XXIII, 789 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-48988-9 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.

Interdisciplinary formal methods.- Formal methods in practice.- Tools for formal methods.- Role of formal methods in software and systems engineering.- Theoretical foundations.

Erscheinungsdatum	03.12.2016
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XXIII, 789 p. 204 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Finanz- / Wirtschaftsmathematik
Schlagworte	Abstraction • Applications • automated static analysis • code generation • Combinatorial testing • Computer Science • conference proceedings • Coq • Dynamical Systems • Dynamic Analysis • formal methods • Formal Verification • Hybrid Systems • industrial application of formal methods • Informatics • Informatik • Logic • Model-Based Testing • Model Checking • Research • rule-based modeling • Simulation • Software Analysis • Software engineering • specification and verification • symbolic execution • timed automata
ISBN-10	3-319-48988-7 / 3319489887
ISBN-13	978-3-319-48988-9 / 9783319489889
Zustand	Neuware