E-Books durchsuchen

Model Checking Software [2003]

1
Optimal Scheduling Using Branch and Bound with SPIN 4.0
2
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties
4
Distributed Explicit Fair Cycle Detection (Set Based Approach)
5
Efficient Model Checking of Safety Properties
6
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness
7
A SAT Characterization of Boolean-Program Correctness
8
What Went Wrong: Explaining Counterexamples
9
A Nearly Memory-Optimal Data Structure for Sets and Mappings
10
Checking Consistency of SDL+MSC Specifications
11
Model Checking Publish-Subscribe Systems
13
Promela Planning
14
Thread-Modular Model Checking
15
Unification & Sharing in Timed Automata Verification
16
The Maude LTL Model Checker and Its Implementation
34
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter
181
A Methodology for Model-Checking Ad-hoc Networks
235
Software Verification with BLAST
Feedback