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影響因子(影響力)學(xué)科排名




書目名稱Computer Aided Verification網(wǎng)絡(luò)公開度




書目名稱Computer Aided Verification網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer Aided Verification被引頻次




書目名稱Computer Aided Verification被引頻次學(xué)科排名




書目名稱Computer Aided Verification年度引用




書目名稱Computer Aided Verification年度引用學(xué)科排名




書目名稱Computer Aided Verification讀者反饋




書目名稱Computer Aided Verification讀者反饋學(xué)科排名

維持

有偏見

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