Search Sciweavers | Sciweavers

34

SIGSOFT
2010
ACM

127views Software Engineering» more SIGSOFT 2010»

Thoughts on automated software design and synthesis

13 years 3 months ago

I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...

Don S. Batory

claim paper

Read More »

36

click to vote

SIGADA
2001
Springer

164views Programming Languages» more SIGADA 2001»

Automating software module testing for FAA certification

14 years 1 months ago

Download www.cs.uni.edu

Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...

Usha Santhanam

claim paper

Read More »

29

click to vote

IJAIT
2006

106views more IJAIT 2006»

An Empirical Evaluation of Automated Theorem Provers in Software Certification

13 years 9 months ago

Download ti.arc.nasa.gov

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...

Ewen Denney, Bernd Fischer 0002, Johann Schumann

claim paper

Read More »

24

click to vote

FCCM
1999
IEEE

127views VLSI» more FCCM 1999»

Mapping of an Automated Target Recognition Application from a Graphical Software Environment to FPGA-Based Reconfigurable Hardwa

14 years 1 months ago

Download www.ece.cmu.edu

A significant obstacle to the widespread adoption of FPGAbased configurable computing hardware has been the difficulty of mapping applications onto this hardware. We are developin...

Benjamin A. Levine, Senthil Natarajan, Chandra Tan...

claim paper

Read More »

21

click to vote

LPAR
2005
Springer

94views Automated Reasoning» more LPAR 2005»

Zap: Automated Theorem Proving for Software Analysis

14 years 2 months ago