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

 
9783662194829: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Softcover
ISBN 10: 3662194821 ISBN 13: 9783662194829
Publisher: 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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662194821
ISBN 13 
9783662194829
Binding
Paperback
Number of pages
252
Editor
Ball Thomas, Rajamani Sriram K.

Other Popular Editions of the Same Title

9783540401179: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648)

Featured Edition

ISBN 10:  3540401172 ISBN 13:  9783540401179
Publisher: Springer, 2003
Softcover