› › Modeled Tested Trusted

ModelEd, TestEd, TrustEd

Author : Joost-Pieter Katoen

Publisher : Springer

Page : 394 pages

File Size : 22,97 MB

Release : 2017-10-16

Category : Computers

ISBN : 3319682709

Get eBook

Book Description

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.



Tests and Proofs

Author : Dirk Beyer

Publisher : Springer Nature

Page : 216 pages

File Size : 24,67 MB

Release : 2019-09-23

Category : Computers

ISBN : 3030311570

Get eBook

Book Description

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.



Testing Software and Systems

Author : Valentina Casola

Publisher : Springer Nature

Page : 321 pages

File Size : 27,11 MB

Release : 2020-12-02

Category : Computers

ISBN : 3030648818

Get eBook

Book Description

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.



A Journey from Process Algebra via Timed Automata to Model Learning

Author : Nils Jansen

Publisher : Springer Nature

Page : 593 pages

File Size : 25,16 MB

Release : 2022-09-06

Category : Computers

ISBN : 3031156293

Get eBook

Book Description

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.



Bridging the Gap Between AI and Reality

Author : Bernhard Steffen

Publisher : Springer Nature

Page : 454 pages

File Size : 11,58 MB

Release : 2023-12-13

Category : Computers

ISBN : 3031460022

Get eBook

Book Description

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.



Tools and Algorithms for the Construction and Analysis of Systems

Author : Dirk Beyer

Publisher : Springer

Page : 474 pages

File Size : 23,99 MB

Release : 2018-04-13

Category : Computers

ISBN : 3319899635

Get eBook

Book Description

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.



Verification, Model Checking, and Abstract Interpretation

Author : Cezara Dragoi

Publisher : Springer Nature

Page : 401 pages

File Size : 31,82 MB

Release : 2023-01-16

Category : Computers

ISBN : 303124950X

Get eBook

Book Description

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.



Software Engineering and Formal Methods

Author : Frank de Boer

Publisher : Springer Nature

Page : 339 pages

File Size : 16,44 MB

Release : 2020-09-11

Category : Computers

ISBN : 3030587681

Get eBook

Book Description

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.





Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Author : Tiziana Margaria

Publisher : Springer Nature

Page : 437 pages

File Size : 30,76 MB

Release : 2022-10-19

Category : Computers

ISBN : 3031197569

Get eBook

Book Description

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.