Unique Skill ID: KS1204X73GP18ZNVZ5T0

ACL2

ACL2 is a software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification. The input language and implementation of ACL2 are written in Common Lisp. ACL2 is free and open-source software.

Read Full Description
This Skill is part of Lightcast Open Skills, a library of over 32,000 skills used by schools, communities, and businesses that has become the standard language.
Search for other skills

ACL2 Job Postings Data

Top Companies Posting

Job Postings Analytics Loading Spinner

Top Job Titles

Job Postings Analytics Loading Spinner

Job Postings Trend

Job Postings Analytics Loading Spinner

Live Job Postings

Job Postings Analytics Loading Spinner

Looking for more data on job postings?