Navegação Ciências Exatas e da Terra por Assunto "ACL2"
Resultados 1-1 de 1
-
Using the ACL2 theorem prover to reason about VHDL components
(2000) [Artigo de periódico]ACLZ is a theorem prover which uses an applicative subset of Common Lisp as specification language. and employs a quantil'ier-free first order logic to reason about these specifications. \Ve define how to build an ACL‘Z model ...