Model Checking Software

Beschreibung

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.

The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

Autor*in

Thomas Neele

Themen in »Model Checking Software«

architecture verification and validation artificial intelligence computer programming computer systems embedded systems engineering model checking formal languages programming languages formal logic signal processing formal methods graph theory software architecture software design

Stimmen zu »Model Checking Software«

Details

Link teilen