Ruzica Piskac

Philipp Rümmer

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments

Constantin Enea

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Verification, Model Checking, and Abstract Interpretation

Michael W. Whalen

Unser Leben ist von Hardware geprägt: Sei es der USB-Stick, der Prozessor unserer Laptops oder die Sim-Karte unseres Smartphones. Doch wer sorgt eigentlich dafür, dass diese Systeme vom ersten Entwurf an stabil und sicher funktionieren? Der Computer – mithilfe des Menschen. Das Ganze nennt sich CAD (computer-aided design=computerunterstütztes Entwerfen) und ist aus der modernen Industriewelt nicht mehr wegzudenken. Doch wie lässt sich sicherstellen, dass eingesetzte Hardware und Computersysteme zuverlässig sind? Durch Formale Methoden: Das sind Techniken und Werkzeuge, mit denen man berechnet, ob etwa eine Systembeschreibung in sich konsistent ist oder Anforderungen richtig entworfen und implementiert wurden. Anders gesagt: Man kann damit die Sicherheit von Hardware und Software überprüfen. Wie das konkret aussehen kann, interessiert auch die jährlich stattfindende Konferenz „Formal Methods in Computer-Aided Design (FMCAD)“. Unter der Leitung von Ruzica Piskac und Michael W. Whalen beschäftigte sich die 21. Tagung im Oktober 2021 mit den neuesten Forschungsergebnissen im Bereich der Formalen Methoden. Zu dieser Online-Tagung ist nun auch ein Konferenzband mit über 30 Beiträgen erschienen, die ein breites Spektrum der Formalen Methoden abdecken: angefangen bei der Verifikation von Hardware, nebenläufigen und verteilten Systemen und neuronalen Netzen bis hin zu maschinellem Lernen und Entscheidungsprozeduren. Der Band gewährt einen spannenden Einblick in bahnbrechende Methoden, Technologien, theoretische Ergebnisse und Werkzeuge für Formale Logik in Rechensystemen und Systementwicklungen.

Ruzica Piskac

About

Books

Join the club