Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

Cambridge); Clare Hall; Grant Passmore (Imandra; Inc.; Ruben Gamboa (University of Wyoming)

REVIEW

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2009.12521 v1 pith:WNT4BI5Q submitted 2020-09-26 cs.LO cs.AI

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

Grant Passmore (Imandra , Inc. , Clare Hall , Cambridge) , Ruben Gamboa (University of Wyoming) This is my paper

classification cs.LO cs.AI

keywords acl2applicationsinternationalprovertheoremworkshopacl2-2020contains

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

discussion (0)