Search Sciweavers | Sciweavers

1036 search results - page 38 / 208

» Verification Programs for Abduction

158

click to vote

COMPUTER
2006

87views more COMPUTER 2006»

What Can We Expect from Program Verification?

15 years 5 months ago

Download www2.warwick.ac.uk

The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...

Michael Jackson

claim paper

Read More »

click to vote

ENTCS
2007

85views more ENTCS 2007»

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

15 years 5 months ago

Download www-sop.inria.fr

Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfr...

claim paper

Read More »

130

Voted

FAC
2007

87views more FAC 2007»

Highly dependable concurrent programming using design for verification

15 years 5 months ago

Download www.cs.ucsb.edu

Aysu Betin-Can, Tevfik Bultan

claim paper

Read More »

click to vote

PCS
2008

45views more PCS 2008»

Modeling, specification, and verification of automaton programs

15 years 5 months ago

Download is.ifmo.ru

E. V. Kuzmin, Valery A. Sokolov

claim paper

Read More »

112

click to vote

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers