Search Sciweavers | Sciweavers

32032 search results - page 4 / 6407

» Verified programming in Guru

click to vote

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 4 months ago

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

click to vote

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

15 years 4 months ago

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

click to vote

LPNMR
2004
Springer

69views Automated Reasoning» more LPNMR 2004»

Verifying the Equivalence of Logic Programs in the Disjunctive Case

15 years 4 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

click to vote

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

14 years 10 months ago

Download laser.cs.umass.edu

Stephen F. Siegel, Anastasia Mironova, George S. A...

claim paper

Read More »

click to vote

TCS
2010

94views Theoretical Computer Science» more TCS 2010»

Verifying parallel programs with dynamic communication structures

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers