Chapter 7. Exhaustive Simulation
Published Online: 28 JAN 2005
DOI: 10.1002/0470014156.ch7
Copyright © 2003 John Wiley & Sons, Ltd
Book Title
Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis
Additional Information
How to Cite
Doldi, L. (2005) Exhaustive Simulation, in Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis, John Wiley & Sons, Ltd, Chichester, UK. doi: 10.1002/0470014156.ch7
Publication History
- Published Online: 28 JAN 2005
- Published Print: 22 APR 2003
ISBN Information
Print ISBN: 9780470852866
Online ISBN: 9780470014158
- Summary
- Chapter
Keywords:
- exhaustive simulation;
- bit-state algorithm;
- ObjectGeode
Summary
This chapter contains sections titled:
Introduction
Simple Examples
Case Study with Tau SDL Suite
Case Study with ObjectGeode
Other Simulation Algorithms
Strategy to Master Exhaustive Simulation
Errors Detectable by Exhaustive Simulation