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

STH

书目名称Computer Aided Verification影响因子(影响力)




书目名称Computer Aided Verification影响因子(影响力)学科排名




书目名称Computer Aided Verification网络公开度




书目名称Computer Aided Verification网络公开度学科排名




书目名称Computer Aided Verification被引频次




书目名称Computer Aided Verification被引频次学科排名




书目名称Computer Aided Verification年度引用




书目名称Computer Aided Verification年度引用学科排名




书目名称Computer Aided Verification读者反馈




书目名称Computer Aided Verification读者反馈学科排名

维持

有偏见

A compositional rule for hardware design refinement, a library of predefined transformations for which theorems have been previously established. Rather, the approach relies on localizing the refinement steps in such a way that they can be verified efficiently by model checking. Toward this end, a compositional rule is proposed by which each design r

THROB

Module checking revisited,ith which the system may interact. Each environment induces a different behavior of the system, and we want all these behaviors to satisfy the requirement. . is an algorithmic method that checks, given an open system (modeled as a finite structure) and a desired requirement (specified by a temporal-

nutrition

Using compositional preorders in the verification of sliding window protocol,this is to replace components of a system with smaller ones and verify the required properties from the smaller system. This approach leads to notions of compositional property-preserving equivalences and preorders. Previously we have shown that the NDFD preorder is the weakest preorder which is com

Aids209

Aids209

Construction of abstract state graphs with PVS,n a parallel composition of sequential processes and a partition of the state space induced by predicates .., ..., .. on the program variables which defines an abstract state space, we construct an abstract state graph, starting in the abstract initial state. The possible successors of a state are c

老巫婆

Verification of a chemical process leak test procedure,obability of explosions. Both government and internal company standards where employed in creating the initial leak test procedure. Several major faults were discovered by the verification of a logic model of the procedure and equipment using SMV. This paper describes the leak test procedure with it

偏见

overrule