Abstract
In this chapter, we expand the concept of justification equivalence, as introduced in Chapter 2, to the finite state space. We present a method that dynamically gathers justification information while traversing the finite state space. The learned information is then used in subsequent justifications to avoid previously-explored state justification decisions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Chen, X., Bushnell, M.L. (1996). Justification in Finite State Space. In: Efficient Branch and Bound Search with Application to Computer-Aided Design. Frontiers in Electronic Testing, vol 4. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1329-8_3
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1329-8_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8571-7
Online ISBN: 978-1-4613-1329-8
eBook Packages: Springer Book Archive