Search Sciweavers | Sciweavers

788 search results - page 16 / 158

» Symbolic Equivalence Checking

104

click to vote

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

15 years 7 months ago

Download basics.sjtu.edu.cn

Zhoujun Li, Huowang Chen

claim paper

Read More »

117

Voted

DAC
1997
ACM

106views Computer Architecture» more DAC 1997»

Equivalence Checking Using Cuts and Heaps

15 years 7 months ago

Download www.cadence.com

This paper presents a veriﬁcation technique which is speciﬁcally targeted to formally comparing large combinational circuits with some structural similarities. The approach co...

Andreas Kuehlmann, Florian Krohm

claim paper

Read More »

click to vote

ICCAD
1996
IEEE

73views Hardware» more ICCAD 1996»

Using complete-1-distinguishability for FSM equivalence checking

15 years 7 months ago

Download www.cparity.com

Pranav Ashar, Aarti Gupta, Sharad Malik

claim paper

Read More »

108

Voted

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

15 years 7 months ago

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

Voted

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers