Search Sciweavers | Sciweavers

5525 search results - page 21 / 1105

» Verification of Model Transformations

click to vote

DAC
2000
ACM

104views Computer Architecture» more DAC 2000»

Optimizing sequential verification by retiming transformations

15 years 7 months ago

Download www.cs.york.ac.uk

Gianpiero Cabodi, Stefano Quer, Fabio Somenzi

claim paper

Read More »

click to vote

GLVLSI
1998
IEEE

107views VLSI» more GLVLSI 1998»

MDG-based Verification by Retiming and Combinational Transformations

15 years 7 months ago

Download www.cs.york.ac.uk

Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song

claim paper

Read More »

132

click to vote

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 7 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 6 months ago

Download www.cs.sunysb.edu

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

claim paper

Read More »

103

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers