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