Buch, Englisch, Band 2648, 241 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 400 g
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Buch, Englisch, Band 2648, 241 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 400 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-40117-9
Verlag: Springer Berlin Heidelberg
The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
Optimal Scheduling Using Branch and Bound with SPIN 4.0.- A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.- Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.- Distributed Explicit Fair Cycle Detection (Set Based Approach).- Efficient Model Checking of Safety Properties.- A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.- A SAT Characterization of Boolean-Program Correctness.- What Went Wrong: Explaining Counterexamples.- A Nearly Memory-Optimal Data Structure for Sets and Mappings.- Checking Consistency of SDL+MSC Specifications.- Model Checking Publish-Subscribe Systems.- A Methodology for Model-Checking Ad-hoc Networks.- Promela Planning.- Thread-Modular Model Checking.- Unification & Sharing in Timed Automata Verification.- The Maude LTL Model Checker and Its Implementation.- Software Verification with BLAST.