Model Checking Software - Couverture souple

Couverture souple

ISBN 10 : 3662194821 ISBN 13 : 9783662194829

Editeur : Springer, 2014

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3662194821
• ISBN 13: 9783662194829
• Reliure: Broché
• Nombre de pages: 252
• Éditeur: Ball Thomas, Rajamani Sriram K
• Coordonnées du fabricant: KINESIS; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Allemagne