책 세부 정보
형식
페이퍼백
페이지
162
언어
영어
출판됨
Aug 23, 2022
출판사
Springer
ISBN-10
3031150767
ISBN-13
9783031150760
설명
Held virtually in May 2022, this collection showcases the latest advancements in the field of model checking, a crucial area of software verification. Researchers Owolabi Legunsen and Grigore Roșu have curated a selection of innovative papers that delve into both theoretical foundations and practical applications, offering rich insights into methodologies that enhance software reliability.
With contributions from leading experts, the proceedings explore a wide range of topics, highlighting new techniques and tools that aim to improve model checking processes. This compilation not only reflects the vibrant discussions from the symposium but also serves as a valuable resource for academics and practitioners eager to push the boundaries of software verification.
With contributions from leading experts, the proceedings explore a wide range of topics, highlighting new techniques and tools that aim to improve model checking processes. This compilation not only reflects the vibrant discussions from the symposium but also serves as a valuable resource for academics and practitioners eager to push the boundaries of software verification.