Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages

Author: Alessandro Aldini

Publisher: Springer Science & Business Media

Published: 2010-06-11

Total Pages: 175

ISBN-13: 364213677X

DOWNLOAD EBOOK

This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to formal methods for quantitative aspects of programming languages and covered several topics including probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security.

Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages

Author: Alessandro Aldini

Publisher: Springer

Published: 2010-06-26

Total Pages: 174

ISBN-13: 3642136788

DOWNLOAD EBOOK

This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to formal methods for quantitative aspects of programming languages and covered several topics including probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security.

NASA Formal Methods
NASA Formal Methods

Author: Guillaume Brat

Publisher: Springer

Published: 2013-05-09

Total Pages: 504

ISBN-13: 3642380883

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

Formal Methods
Formal Methods

Author: Marsha Chechik

Publisher: Springer Nature

Published: 2023-03-02

Total Pages: 661

ISBN-13: 3031274814

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

Formal Methods for Computational Systems Biology
Formal Methods for Computational Systems Biology

Author: Marco Bernardo

Publisher: Springer Science & Business Media

Published: 2008-05-20

Total Pages: 533

ISBN-13: 3540688927

DOWNLOAD EBOOK

This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications.

Formal Methods for Components and Objects
Formal Methods for Components and Objects

Author: Frank S. de Boer

Publisher: Springer Science & Business Media

Published: 2006-08-10

Total Pages: 436

ISBN-13: 3540367497

DOWNLOAD EBOOK

This book presents 19 revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.

Formal Methods for Components and Objects
Formal Methods for Components and Objects

Author: Elena Giachino

Publisher: Springer

Published: 2013-08-23

Total Pages: 247

ISBN-13: 3642406157

DOWNLOAD EBOOK

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems

Author: Marco Bernardo

Publisher: Springer Science & Business Media

Published: 2011-06-03

Total Pages: 535

ISBN-13: 3642214541

DOWNLOAD EBOOK

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.