1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
Note: This directory will likely be updated with more contributions
after the ACL2 Version 7.4 release. Updates are on github:
https://github.com/acl2/acl2/tree/master/books/workshops/2017
============================================================
To authors:
Supporting materials should go into directories named after
authors of accepted papers. Typically, they go into a support/
subdirectory of each such directory; see past directories
books/workshops/20??/ for examples.
Note: If you are not a frequent contributor to the community books,
you will likely be using pull requests if you contribute books using
git. See :doc git-quick-start, e.g.:
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html?topic=ACL2____GIT-QUICK-START
============================================================
Information about workshop contributions (full papers) is below.
----------
Cuong Chau,
Extended Abstract: A DE Verification Framework for Asynchronous
Circuit Verification.
----------
Cuong Chau,
Extended Abstract: Formal Specification and Verification of the FM9001
Microprocessor Using the DE System.
----------
Alessandro Coglio, Matt Kaufmann and Eric Smith,
A Versatile, Sound Tool for Simplifying Definitions.
----------
John Cowles and Ruben Gamboa,
The Cayley-Dickson Construction in ACL2.
----------
Shilpi Goel,
The x86isa Books: Features, Usage, and Future Plans.
----------
Matt Kaufmann and Sol Swords,
Meta-extract: Using Existing Facts in Meta-reasoning.
See subdirectory kaufmann-swords/.
----------
David Russinoff,
A Computationally Surveyable Proof of the Group Properties of an
Elliptic Curve.
----------
Rob Sumners,
Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems
and Applications.
----------
Sol Swords,
Term-Level Reasoning In Support Of Bit-Blasting.
----------
|
