Search Sciweavers | Sciweavers

1036 search results - page 36 / 208

» Verification Programs for Abduction

102

click to vote

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

15 years 10 months ago

Download vstte.ethz.ch

Graham Steel

claim paper

Read More »

110

click to vote

ATS
2002
IEEE

74views Hardware» more ATS 2002»

Evolutionary Test Program Induction for Microprocessor Design Verification

15 years 10 months ago

Download www.cs.bham.ac.uk

Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...

claim paper

Read More »

110

click to vote

MPC
2010
Springer

164views Mathematics» more MPC 2010»

On Automated Program Construction and Verification

15 years 10 months ago

Download mpc-amast2010.fsg.ulaval.ca

Rudolf Berghammer, Georg Struth

claim paper

Read More »

173

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 9 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

116

click to vote

HYBRID
1999
Springer

157views Control Systems» more HYBRID 1999»

Verification of Hybrid Systems via Mathematical Programming

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers