Search Sciweavers | Sciweavers

1516 search results - page 38 / 304

» Trends in Software Verification

115

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

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

15 years 11 months ago

Download www.mit.edu

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

claim paper

Read More »

114

click to vote

IWPC
2006
IEEE

111views Software Engineering» more IWPC 2006»

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

15 years 11 months ago

Download soft.vub.ac.be

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

claim paper

Read More »

106

click to vote

ADAEUROPE
2005
Springer

97views Software Engineering» more ADAEUROPE 2005»

Dynamic Tasks Verification with Quasar

15 years 10 months ago

Download cedric.cnam.fr

Sami Evangelista, Claude Kaiser, Christophe Pajaul...

claim paper

Read More »

100

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

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

15 years 10 months ago

Download www.inf.mit.bme.hu

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

claim paper

Read More »

113

click to vote

ISSTA
2000
ACM

79views Software Engineering» more ISSTA 2000»

Putting static analysis to work for verification: A case study

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers