FM 2012: Formal Methods

by Dimitra Giannakopoulou
FM 2012: Formal Methods
Author: Dimitra Giannakopoulou
Publisher: Springer
Total Pages: 503
Release: 2012-08-21
Genre: Computers
ISBN: 3642327591
GET BOOK

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Integrated Formal Methods

by Erika Ábrahám
Integrated Formal Methods
Author: Erika Ábrahám
Publisher: Springer
Total Pages: 538
Release: 2016-05-23
Genre: Computers
ISBN: 3319336932
GET BOOK

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.

NASA Formal Methods

by Aaron Dutle
NASA Formal Methods
Author: Aaron Dutle
Publisher: Springer Nature
Total Pages: 402
Release: 2021-05-19
Genre: Computers
ISBN: 3030763846
GET BOOK

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

NASA Formal Methods

by Clark Barrett
NASA Formal Methods
Author: Clark Barrett
Publisher: Springer
Total Pages: 448
Release: 2017-04-08
Genre: Computers
ISBN: 3319572881
GET BOOK

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

by Alberto Griggio
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022
Author: Alberto Griggio
Publisher: TU Wien Academic Press
Total Pages: 405
Release: 2022-10-12
Genre: Computers
ISBN: 3854480539
GET BOOK

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

by Paolo Masci
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Author: Paolo Masci
Publisher: Springer Nature
Total Pages: 424
Release: 2023-02-10
Genre: Computers
ISBN: 3031262360
GET BOOK

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

Formal Methods: Foundations and Applications

by Leila Ribeiro
Formal Methods: Foundations and Applications
Author: Leila Ribeiro
Publisher: Springer
Total Pages: 258
Release: 2016-11-12
Genre: Computers
ISBN: 3319498150
GET BOOK

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

Integrated Formal Methods

by Nadia Polikarpova
Integrated Formal Methods
Author: Nadia Polikarpova
Publisher: Springer
Total Pages: 447
Release: 2017-09-11
Genre: Computers
ISBN: 3319668455
GET BOOK

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

Software Engineering and Formal Methods

by Robert M. Hierons
Software Engineering and Formal Methods
Author: Robert M. Hierons
Publisher: Springer
Total Pages: 334
Release: 2013-09-18
Genre: Computers
ISBN: 3642405614
GET BOOK

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.