Titlebook: Computer Aided Verification; 9th International Co Orna Grumberg Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 1997 Hardware

即席演說(shuō)

Automatic abstraction techniques for propositional ,-calculus model checking,re further resolution. It then successively refines, with respect to this goal set, the approximations made in the subformulas, until the given formula is verified or computational resources are exhausted.

殘酷的地方

A compositional rule for hardware design refinement,efinement may be verified independently, in an abstract environment. This rule supports the use of downward refinement maps, which translate abstract behavior detailed behavior. These maps may involve temporal transformations, including delay. The approach is supported by a verification tool based on symbolic model checking.

LIEN

ALIAS

窒息

注入

0302-9743 erification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.978-3-540-63166-8978-3-540-69195-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

闖入