Search Sciweavers | Sciweavers

1036 search results - page 39 / 208

» Verification Programs for Abduction

123

Voted

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

15 years 2 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

15 years 2 months ago

Download www.disca.upv.es

Eduardo Brito, Jorge Sousa Pinto

claim paper

Read More »

121

click to vote

FAC
2010

93views more FAC 2010»

Verification and falsification of programs with loops using predicate abstraction

15 years 1 months ago

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

101

Voted

JSC
2011

62views more JSC 2011»

Trace-based verification of imperative programs with I/O

14 years 11 months ago

Download www.people.fas.harvard.edu

Gregory Malecha, Greg Morrisett, Ryan Wisnesky

claim paper

Read More »

127

Voted

KI
2010
Springer

123views Artificial Intelligence» more KI 2010»

Practical Aspects of Automated Deduction for Program Verification

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers