Sciweavers

108

click to vote

ACMSE
2004
ACM

104views Theoretical Computer Science» more ACMSE 2004»

Addressing the middleware configuration challenges using model-based techniques

15 years 8 months ago

Download www.dre.vanderbilt.edu

Emre Turkay, Aniruddha S. Gokhale, Balachandran Na...

claim paper

Read More »

248

click to vote

ACL2
2006
ACM

296views Computational Linguistics» more ACL2 2006»

Combining ACL2 and an automated verification tool to verify a multiplier

15 years 8 months ago

Download www.ccs.neu.edu

We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...

Erik Reeber, Jun Sawada

claim paper

Read More »

134

click to vote

ACMSE
2004
ACM

108views Theoretical Computer Science» more ACMSE 2004»

Methods for the prevention, detection and removal of software security vulnerabilities

15 years 8 months ago

Download www.eng.auburn.edu

Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...

Jay-Evan J. Tevis, John A. Hamilton Jr.

claim paper

Read More »

172

click to vote

ACL2
2006
ACM

257views Computational Linguistics» more ACL2 2006»

Quantification in tail-recursive function definitions

15 years 8 months ago

Download userweb.cs.utexas.edu

We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...

Sandip Ray

claim paper

Read More »

176

click to vote

ACL2
2006
ACM

239views Computational Linguistics» more ACL2 2006»

The ideal of verified software

15 years 8 months ago