Sciweavers

12981 search results - page 69 / 2597

» Model Checking (Abstract)

93

Voted

GLVLSI
1999
IEEE

74views VLSI» more GLVLSI 1999»

Formal Checking of Properties in Complex Systems Using Abstractions

15 years 7 months ago

Formal Checking of Properties in Complex Systems Using Abstractions

Download www.cecs.uci.edu

Dinos Moundanos, Jacob A. Abraham

claim paper

Read More »

102

Voted

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

15 years 6 months ago

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

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

102

Voted

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 6 months ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

87

Voted

SARA
2000
Springer

84views Artificial Intelligence» more SARA 2000»

Partial Completeness of Abstract Fixpoint Checking

15 years 6 months ago

Partial Completeness of Abstract Fixpoint Checking

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

99

Voted

TODAES
1998

42views more TODAES 1998»

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

15 years 2 months ago

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

Download www.cparity.com

Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

claim paper

Read More »

« Prev « First page 69 / 2597 Last » Next »