Search Sciweavers | Sciweavers

38

ICSE
2007
IEEE-ACM

168views Software Engineering» more ICSE 2007»

14 years 1 months ago

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 »

41

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

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

14 years 1 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

35

click to vote

ACL2
2006
ACM

239views Computational Linguistics» more ACL2 2006»

The ideal of verified software

13 years 11 months ago

Download www.ccs.neu.edu

Tony Hoare

claim paper

Read More »

29

click to vote

ACL2
2006
ACM

269views Computational Linguistics» more ACL2 2006»

ACL2 in DrScheme

14 years 1 months ago

Download www.ccs.neu.edu

Dale Vaillancourt, Rex L. Page, Matthias Felleisen

claim paper

Read More »

24

click to vote

JAR
2007

83views more JAR 2007»

Theory Extension in ACL2(r)

13 years 7 months 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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers