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

Formal Aspects of Component Software

Posted By: AvaxGenius
Formal Aspects of Component Software

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings by Gwen Salaün
English | EPUB | 2021 | 188 Pages | ISBN : 3030906353 | 17.6 MB

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.

Verification, Model Checking, and Abstract Interpretation (Repost)

Posted By: AvaxGenius
Verification, Model Checking, and Abstract Interpretation (Repost)

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings by Dirk Beyer
English | PDF | 2020 | 484 Pages | ISBN : 3030393216 | 14.8 MB

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | EPUB | 2021 | 263 Pages | ISBN : 3030810968 | 12.8 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.
The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

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.

Functional and Logic Programming

Posted By: AvaxGenius
Functional and Logic Programming

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings by Michael Hanus
English | PDF | 2022 | 298 Pages | ISBN : 3030994600 | 8 MB

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.

Software Verification

Posted By: AvaxGenius
Software Verification

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers by Roderick Bloem
English | EPUB | 2022 | 207 Pages | ISBN : 3030955605 | 23.9 MB[[/center]
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.

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.

Automated Technology for Verification and Analysis

Posted By: AvaxGenius
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings by Zhe Hou
English | PDF | 2021 | 384 Pages | ISBN : 3030888843 | 13.9 MB

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions.

Programming Languages and Systems

Posted By: AvaxGenius
Programming Languages and Systems

Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings
English | PDF | 2021 | 328 Pages | ISBN : 3030890503 | 14.2 MB

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | PDF | 2021 | 263 Pages | ISBN : 3030810968 | 10.7 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

Tools and Algorithms for the Construction and Analysis of Systems

Posted By: AvaxGenius
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I by Jan Friso Groote
English | PDF | 2021 | 483 Pages | ISBN : 3030720152 | 8.6 MB

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.