Industrial hardware and software verification with ACL2 von Hunt, Warren A., Kaufmann, Matt, Moore, J Strother, Slobodova, Anna

Volltext

Advances in ACL2 Proof Debugging Tools von Kaufmann, Matt, Moore, J Strother

Volltext

Limited Second-Order Functionality in a First-Order Setting von Kaufmann, Matt, Moore, J Strother

Volltext

Larval zebrafish rapidly sense the water flow of a predator's strike von McHenry, M.J., Feitl, K.E., Strother, J.A., Van Trump, W.J.

Volltext

Dentin Caries Zones: Mineral, Structure, and Properties von Pugach, M.K., Strother, J., Darling, C.L., Fried, D., Gansky, S.A., Marshall, S.J., Marshall, G.W.

Volltext

Iteration in ACL2 von Kaufmann, Matt, Moore, J Strother

Volltext

Effects of psychosocial factors on nonadherence to ART in Ganta, Nimba county, Liberia von Strother, Philomena J, Tipayamongkholgul, Mathuros, Kosaisevee, Varakorn, Suwannapong, Nawarat

Volltext

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach von Russinoff, David M, Moore, J. Strother

Volltext

VWSIM: A Circuit Simulator von Hunt, Warren A., Ramanathan, Vivek, Moore, J Strother

Volltext

Comparative Study of White and Gray Mineral Trioxide Aggregate (MTA) Simulating a One- or Two-Step Apical Barrier Technique von Matt, Gary D., Thorpe, Jeffery R., Strother, James M., McClanahan, Scott B.

Volltext

Milestones from the Pure Lisp theorem prover to ACL2 von Moore, J. Strother

Volltext

Stateman: Using Metafunctions to Manage Large Terms Representing Machine States von Moore, J Strother

Volltext

Acanthorhachis, a new genus of shark from the Carboniferous (Westphalian) of Yorkshire, England von Martill, David M, Del Strother, Peter J. A, Gallien, Florence

Volltext

The kinematics of phototaxis in larvae of the ascidian Aplidium constellatum von MCHENRY, M. J, STROTHER, J. A

Volltext

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4 von Kaufmann, Matt, Moore, J Strother

Volltext

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 von Kaufmann, Matt, Moore, J Strother

Volltext

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Iteration in ACL2, WITH .. DO von Kaufmann, Matt, Moore, J Strother

Volltext

Advances in ACL2 Proof Debugging Tools von Kaufmann, Matt, J Strother Moore

Volltext

How Can I Do That with ACL2? Recent Enhancements to ACL2 von Kaufmann, Matt, Moore, J Strother

Volltext

Machines Reasoning About Machines: 2015 von Moore, J Strother

Volltext