Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

ISBN 10: 3662194821 / ISBN 13: 9783662194829

Published by Springer, 2014

About this Item

Seller Inventory # 45822424-n

Bibliographic Details

• Title: Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
• Publisher: Springer
• Publication Date: 2014
• Language: English
• ISBN 10: 3662194821
• ISBN 13: 9783662194829
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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.