Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections na...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ábrahám, Erika, Huisman, Marieke
Format: Buch
Sprache:eng
Schlagworte:
Computer programming, programs, data
Computer Science
Formal methods (Computer science)-Congresses
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions; program verification; probabilistic systems; concurrency; safetyand liveness; model learning; SAT and SMT solving; testing; theorem proving andconstraint satisfaction; case studies. 
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-33693-0