|
gptkbp:instanceOf
|
gptkb:programming_language
gptkb:software
theorem prover
|
|
gptkbp:basedOn
|
gptkb:Nqthm
|
|
gptkbp:category
|
gptkb:programming_language
formal methods
automated theorem proving
|
|
gptkbp:designedBy
|
gptkb:J_Strother_Moore
gptkb:Robert_S._Boyer
|
|
gptkbp:documentation
|
gptkb:ACL2_User's_Manual
|
|
gptkbp:firstReleased
|
1990s
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
ACL2
|
|
gptkbp:influenced
|
formal methods community
|
|
gptkbp:influencedBy
|
gptkb:Common_Lisp
gptkb:Nqthm
|
|
gptkbp:license
|
gptkb:GNU_General_Public_License
|
|
gptkbp:nameMeaning
|
gptkb:A_Computational_Logic_for_Applicative_Common_Lisp
|
|
gptkbp:notableUser
|
gptkb:University_of_Texas_at_Austin
gptkb:AMD
gptkb:Rockwell_Collins
gptkb:Centaur_Technology
|
|
gptkbp:supports
|
gptkb:first-order_logic
|
|
gptkbp:usedFor
|
gptkb:mathematics
formal verification
software verification
hardware verification
|
|
gptkbp:website
|
https://www.cs.utexas.edu/users/moore/acl2/
|
|
gptkbp:writtenBy
|
gptkb:Common_Lisp
|
|
gptkbp:bfsParent
|
gptkb:Lisp_(programming_language)
|
|
gptkbp:bfsLayer
|
6
|