Search Sciweavers | Sciweavers

1036 search results - page 39 / 208

» Verification Programs for Abduction

click to vote

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

14 years 11 months ago

Download www.cs.rice.edu

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...

claim paper

Read More »

Voted

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

14 years 10 months ago

Download www.disca.upv.es

Eduardo Brito, Jorge Sousa Pinto

claim paper

Read More »

Voted

FAC
2010

93views more FAC 2010»

Verification and falsification of programs with loops using predicate abstraction

14 years 10 months ago

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

Voted

JSC
2011

62views more JSC 2011»

Trace-based verification of imperative programs with I/O

14 years 7 months ago

Download www.people.fas.harvard.edu

Gregory Malecha, Greg Morrisett, Ryan Wisnesky

claim paper

Read More »

click to vote

KI
2010
Springer

123views Artificial Intelligence» more KI 2010»

Practical Aspects of Automated Deduction for Program Verification

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers