Search Sciweavers | Sciweavers

788 search results - page 16 / 158

» Symbolic Equivalence Checking

click to vote

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

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

14 years 1 months ago

Download basics.sjtu.edu.cn

Zhoujun Li, Huowang Chen

claim paper

Read More »

click to vote

DAC
1997
ACM

106views Computer Architecture» more DAC 1997»

Equivalence Checking Using Cuts and Heaps

14 years 29 days 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

14 years 28 days ago

Download www.cparity.com

Pranav Ashar, Aarti Gupta, Sharad Malik

claim paper

Read More »

click to vote

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

14 years 26 days ago

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers