Search Sciweavers | Sciweavers

54 search results - page 1 / 11

» ACL2

147

Voted

ICSE
2007
IEEE-ACM

168views Software Engineering» more ICSE 2007»

ACL2s: "The ACL2 Sedan"

15 years 6 months ago

Download www.ccs.neu.edu

ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a ﬁnely tuned race ...

Peter C. Dillinger, Panagiotis Manolios, Daron Vro...

claim paper

Read More »

136

Voted

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

15 years 6 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

130

click to vote

ACL2
2006
ACM

239views Computational Linguistics» more ACL2 2006»

The ideal of verified software

15 years 4 months ago

Download www.ccs.neu.edu

Tony Hoare

claim paper

Read More »

111

click to vote

ACL2
2006
ACM

269views Computational Linguistics» more ACL2 2006»

ACL2 in DrScheme

15 years 6 months ago

Download www.ccs.neu.edu

Dale Vaillancourt, Rex L. Page, Matthias Felleisen

claim paper

Read More »

Voted

JAR
2007

83views more JAR 2007»

Theory Extension in ACL2(r)

15 years 7 days ago

Download www.cs.uwyo.edu

ACL2(r) is a modiﬁed version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...

Ruben Gamboa, John R. Cowles

claim paper

Read More »

« Prev « First page 1 / 11 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers