Author : Alexander Nadel
Publisher : TU Wien Academic Press
Page : 332 pages
File Size : 50,75 MB
Release : 2023-10-13
Category : Computers
ISBN : 3854480601
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.
Author : Nina Narodytska
Publisher : TU Wien Academic Press
Page : 316 pages
File Size : 24,76 MB
Release : 2024-10-01
Category : Computers
ISBN : 3854480652
Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal erscheinen die Beiträge der Konferenzreihe „Formal Methods in Computer-Aided Design“ (FMCAD) als Konferenzband bei TU Wien Academic Press. Der aktuelle Band der seit 2006 jährlich veranstalteten Konferenzreihe präsentiert in 35 Beiträgen neueste wissenschaftliche Erkenntnisse aus dem Bereich des computergestützten Entwerfens. Die Beiträge behandeln formale Aspekte des computergestützten Systemdesigns einschließlich Verifikation, Spezifikation, Synthese und Test. Die FMCAD-Konferenz findet im Oktober 2024 in Prag, Tschechische Republik, statt. Sie gilt als führendes Forum im Bereich des computer-aided design und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.
Author : Arie Gurfinkel
Publisher : Springer Nature
Page : 447 pages
File Size : 25,71 MB
Release :
Category :
ISBN : 303165630X
Author : André Platzer
Publisher : Springer Nature
Page : 692 pages
File Size : 46,63 MB
Release :
Category :
ISBN : 3031711629
Author : Constantin Enea
Publisher : Springer Nature
Page : 473 pages
File Size : 15,15 MB
Release : 2023-07-17
Category : Computers
ISBN : 3031377036
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Author : Robert Glück
Publisher : Springer Nature
Page : 215 pages
File Size : 27,14 MB
Release : 2023-11-16
Category : Computers
ISBN : 3031457846
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
Author : Thomas Neele
Publisher : Springer Nature
Page : 274 pages
File Size : 29,31 MB
Release :
Category :
ISBN : 3031661494
Author : Marieke Huisman
Publisher : Springer Nature
Page : 233 pages
File Size : 10,82 MB
Release : 2023-06-09
Category : Computers
ISBN : 3031353552
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.
Author : Kristin Yvonne Rozier
Publisher : Springer Nature
Page : 508 pages
File Size : 31,88 MB
Release : 2023-07-04
Category : Computers
ISBN : 3031331702
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
Author : Bernd Finkbeiner
Publisher : Springer Nature
Page : 413 pages
File Size : 20,6 MB
Release :
Category :
ISBN : 3031572467
