Sciweavers

1356 search results - page 5 / 272

» The ideal of verified software

97

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

16 years 15 days ago

Verifying C++ with STL containers via predicate abstraction

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

110

Voted

VMCAI
2007
Springer

77views Software Engineering» more VMCAI 2007»

Verifying Compensating Transactions

16 years 10 days ago

Verifying Compensating Transactions

Download www.cs.ucla.edu

Michael Emmi, Rupak Majumdar

claim paper

Read More »

116

KBSE
2006
IEEE

95views Software Engineering» more KBSE 2006»

Verifying Specifications with Proof Scores in CafeOBJ

16 years 7 days ago

Verifying Specifications with Proof Scores in CafeOBJ

Download www.jaist.ac.jp

Kokichi Futatsugi

claim paper

Read More »

135

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

15 years 11 months ago

The Verifying Compiler, a Grand Challenge for Computing Research

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

132

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

15 years 11 months ago

Where Is the Value in a Program Verifier?

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

« Prev « First page 5 / 272 Last » Next »