Search Sciweavers | Sciweavers

1914 search results - page 33 / 383

» Verification by Abstract Interpretation

111

click to vote

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

16 years 5 months ago

Download www.eecs.umich.edu

Zaher S. Andraus, Karem A. Sakallah

claim paper

Read More »

219

click to vote

PLDI
2009
ACM

113views Programming Languages» more PLDI 2009»

Program verification using templates over predicate abstraction

16 years 5 months ago

Download www.cs.umd.edu

dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond

Saurabh Srivastava, Sumit Gulwani

claim paper

Read More »

100

click to vote

ICCAD
2007
IEEE

107views Hardware» more ICCAD 2007»

Formal verification at higher levels of abstraction

15 years 10 months ago

Download www.eecs.berkeley.edu

velsofAbstraction DanielKroening,OxfordUniversity SanjitA.Seshia,UCBerkeley ICCADTutorial November8,2007

Daniel Kroening, Sanjit A. Seshia

claim paper

Read More »

click to vote

ACSD
2007
IEEE

90views Hardware» more ACSD 2007»

Using CTL formulae as component abstraction in a design and verification flow

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Cécile Braunstein, Emmanuelle Encrenaz

claim paper

Read More »

119

click to vote

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers