Buch, Englisch, Band 1885, 346 Seiten, Paperback, Format (B × H): 155 mm x 233 mm, Gewicht: 1120 g
7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Buch, Englisch, Band 1885, 346 Seiten, Paperback, Format (B × H): 155 mm x 233 mm, Gewicht: 1120 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-41030-0
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
Weitere Infos & Material
Papers.- Symmetric Spin.- Using Garbage Collection in Model Checking.- Model Checking Based on Simultaneous Reachability Analysis.- Testing Spin’s LTL Formula Conversion into Büchi Automata with Randomly Generated Input.- Verification and Optimization of a PLC Control Schedule.- Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.- Bebop: A Symbolic Model Checker for Boolean Programs.- Logic Verification of ANSI-C Code with SPIN.- Interaction Abstraction for Compositional Finite State Systems.- Correctness by Construction: Towards Verification in Hierarchical System Development.- Linking ST e P with SPIN.- Abstraction of Communication Channels in Promela: A Case Study.- A Language Framework for Expressing Checkable Properties of Dynamic Software.- Model-Checking Multi-threaded Distributed Java Programs.- Using Runtime Analysis to Guide Model Checking of Java Programs.- Communication Topology Analysis for Concurrent Programs.- Low-Fat Recipes for SPIN.- Tool Tutorials.- Tutorial on FDR and Its Applications.- The Temporal Rover and the ATG Rover.- Runtime Checking of Multithreaded Applications with Visual Threads.