Buch, Englisch, 131 Seiten, Format (B × H): 155 mm x 235 mm
32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings
Buch, Englisch, 131 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-35637-6
Verlag: Springer
This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026.
The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. The focus of the symposium was on symbolic and state space-based techniques for the validation and analysis of software systems.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik Regelungstechnik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Technische Informatik
Weitere Infos & Material
.- MinimumReachabilityProbabilities inRectangularAutomatawith RandomClocks.
.- ControlSensitiveReachabilityAnalysisofUpper-StackManipulating BinaryCode.
.- Recurrence-seekingTestsforNon-termination.
.- Crash-freeDeductiveVerifiers.
.- VisualisingCTLwitnessesandcounterexamples.
.- ModelCheckingofStateBasedRandomizedSystemsusingProbabilistic ProcessAlgebraicTools.
.- DeductiveVerificationofWeakMemoryProgramswithView-based Protocols.
