Copyright © 2004 BSSE.
All rights reserved.
Impressum Legal Notice

Document: Verification with SDL - Some Hints about How to reduce size of state space

Verification with SDL - Some Hints about How to reduce size of state space [00021]
DateJan 1999
Files
Paper
This paper gives advice how to master state explosion.