Search Sciweavers | Sciweavers

5525 search results - page 21 / 1105

» Verification of Model Transformations

117

click to vote

DAC
2000
ACM

104views Computer Architecture» more DAC 2000»

Optimizing sequential verification by retiming transformations

15 years 10 months ago

Download www.cs.york.ac.uk

Gianpiero Cabodi, Stefano Quer, Fabio Somenzi

claim paper

Read More »

100

click to vote

GLVLSI
1998
IEEE

107views VLSI» more GLVLSI 1998»

MDG-based Verification by Retiming and Combinational Transformations

15 years 10 months ago

Download www.cs.york.ac.uk

Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song

claim paper

Read More »

166

click to vote

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 10 months ago

Download www.hpl.hp.com

James B. Saxe, John V. Guttag, James J. Horning, S...

claim paper

Read More »

126

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 9 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

133

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers