Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

The Logic of Software. A Tasting Menu of Formal Methods

Posted By: AvaxGenius
The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday by Wolfgang Ahrendt
English | PDF,EPUB | 2022 | 531 Pages | ISBN : 303108165X | 80.6 MB

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations.

NASA Formal Methods

Posted By: AvaxGenius
NASA Formal Methods

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings by Aaron Dutle
English | PDF | 2021 | 416 Pages | ISBN : 3030763838 | 20.6 MB

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.

Formal Methods for Industrial Critical Systems

Posted By: AvaxGenius
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings by Alberto Lluch Lafuente
English | PDF | 2021 | 253 Pages | ISBN : 3030852474 | 14 MB

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.

Logic and Argumentation

Posted By: AvaxGenius
Logic and Argumentation

Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings by Pietro Baroni
English | PDF | 2021 | 562 Pages | ISBN : 3030893901 | 12.3 MB

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions.

Leveraging Applications of Formal Methods, Verification and Validation

Posted By: AvaxGenius
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings by Tiziana Margaria
English | PDF | 2021 | 505 Pages | ISBN : 3030891585 | 29.2 MB

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

Theoretical Computer Science

Posted By: AvaxGenius
Theoretical Computer Science

Theoretical Computer Science: 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers by Kun He
English | EPUB | 2021 | 206 Pages | ISBN : 9811618763 | 17.5 MB

This book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020.

Theoretical Computer Science

Posted By: AvaxGenius
Theoretical Computer Science

Theoretical Computer Science: 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers by Kun He
English | PDF | 2021 | 206 Pages | ISBN : 9811618763 | 15.7 MB

This book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020.

From Data to Models and Back

Posted By: AvaxGenius
From Data to Models and Back

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers by Juliana Bowles
English | EPUB | 2021 | 233 Pages | ISBN : 3030706494 | 20.2 MB

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.

From Data to Models and Back

Posted By: AvaxGenius
From Data to Models and Back

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers by Juliana Bowles
English | PDF | 2021 | 233 Pages | ISBN : 3030706494 | 25.9 MB

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.

Quantitative Evaluation of Systems

Posted By: AvaxGenius
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings by Marco Gribaudo
English | PDF | 2020 | 300 Pages | ISBN : 3030598535 | 12.9 MB

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.

Design and Verification of Microprocessor Systems for High-Assurance Applications (Repost)

Posted By: AvaxGenius
Design and Verification of Microprocessor Systems for High-Assurance Applications (Repost)

Design and Verification of Microprocessor Systems for High-Assurance Applications by David S. Hardin
English | PDF | 2010 | 440 Pages | ISBN : 1441915389 | 5 MB

This book examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels – from arithmetic circuits to microcode to instruction sets to operating systems to applications. We focus on recent hardware, software, and system designs that have actually been built and deployed, and feature systems that have been certified at high Evaluation Assurance Levels, namely the Rockwell Collins AAMP7G microprocessor (EAL7) and the Green Hills INTEGRITY-178B separation kernel (EAL6+). The contributing authors to this book have endeavored to bring forth truly new material on significant, modern design and verification efforts; many of the results described herein were obtained only within the past year.