Liebe Besucherinnen und Besucher,
aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.
Ihr Team von Sack Fachmedien
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 Technische Informatik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik Regelungstechnik
Weitere Infos & Material
.- MinimumReachabilityProbabilities inRectangularAutomatawith RandomClocks.
.- ControlSensitiveReachabilityAnalysisofUpper-StackManipulating BinaryCode.
.- Recurrence-seekingTestsforNon-termination.
.- Crash-freeDeductiveVerifiers.
.- VisualisingCTLwitnessesandcounterexamples.
.- ModelCheckingofStateBasedRandomizedSystemsusingProbabilistic ProcessAlgebraicTools.
.- DeductiveVerificationofWeakMemoryProgramswithView-based Protocols.
