Search Sciweavers | Sciweavers

1516 search results - page 38 / 304

» Trends in Software Verification

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

14 years 2 months ago

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

click to vote

IWPC
2006
IEEE

111views Software Engineering» more IWPC 2006»

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification

14 years 2 months ago

Download soft.vub.ac.be

Coen De Roover, Isabel Michiels, Kim Gybels, Kris ...

claim paper

Read More »

click to vote

ADAEUROPE
2005
Springer

97views Software Engineering» more ADAEUROPE 2005»

Dynamic Tasks Verification with Quasar

14 years 2 months ago

Download cedric.cnam.fr

Sami Evangelista, Claude Kaiser, Christophe Pajaul...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 1 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

ISSTA
2000
ACM

79views Software Engineering» more ISSTA 2000»

Putting static analysis to work for verification: A case study

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers