Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605587424

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proving a specific type of inequality theorems in ACL2

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637841 ◽

2009 ◽

Author(s):

Hanbing Liu

Download Full-text

Assuming termination

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637856 ◽

2009 ◽

Cited By ~ 7

Author(s):

David Greve

Download Full-text

Automatic verification for interactive graphical programs

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637843 ◽

2009 ◽

Cited By ~ 3

Author(s):

Carl Eastlund ◽

Matthias Felleisen

Keyword(s):

Automatic Verification

Download Full-text

Automated reasoning with quantified formulae

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637855 ◽

2009 ◽

Cited By ~ 2

Author(s):

David Greve

Keyword(s):

Automated Reasoning

Download Full-text

A generic implementation model for the formal verification of networks-on-chips

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637857 ◽

2009 ◽

Cited By ~ 1

Author(s):

Tom van den Broek ◽

Julien Schmaltz

Keyword(s):

Formal Verification ◽

Implementation Model ◽

Networks On Chips

Download Full-text

User control and direction of a more efficient simplifier in ACL2

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637838 ◽

2009 ◽

Author(s):

Rob Sumners

Keyword(s):

User Control

Download Full-text

Solving △ = □

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637850 ◽

2009 ◽

Author(s):

John R. Cowles ◽

Ruben Gamboa

Download Full-text

Formal validation of deadlock prevention in networks-on-chips

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637858 ◽

2009 ◽

Cited By ~ 2

Author(s):

Freek Verbeek ◽

Julien Schmaltz

Keyword(s):

Deadlock Prevention ◽

Formal Validation ◽

Networks On Chips

Download Full-text

Automatically computing functional instantiations

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637839 ◽

2009 ◽

Cited By ~ 3

Author(s):

J. Strother Moore

Download Full-text

Computational logic in the undergraduate curriculum

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 ◽

10.1145/1637837.1637842 ◽

2009 ◽

Author(s):

Rex Page

Keyword(s):

Undergraduate Curriculum ◽

Computational Logic

Download Full-text

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Proving a specific type of inequality theorems in ACL2

Assuming termination

Automatic verification for interactive graphical programs

Automated reasoning with quantified formulae

A generic implementation model for the formal verification of networks-on-chips

User control and direction of a more efficient simplifier in ACL2

Solving △ = □

Formal validation of deadlock prevention in networks-on-chips

Automatically computing functional instantiations

Computational logic in the undergraduate curriculum

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09
Latest Publications