Search Sciweavers | Sciweavers

1516 search results - page 17 / 304

» Trends in Software Verification

142

click to vote

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

16 years 10 days ago

Download ase.informatik.uni-essen.de

Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...

claim paper

Read More »

191

Voted

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 12 months ago

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

160

Voted

KBSE
1997
IEEE

96views Software Engineering» more KBSE 1997»

Research Directions for Automated Software Verification: Using Trusted Hardware

15 years 11 months ago

Download www.stubblebine.com

Premkumar T. Devanbu, Stuart G. Stubblebine

claim paper

Read More »

178

Voted

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 2 months ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

177

Voted

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers