书籍详情
格式
平装书
页数
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.