Keyword:ACL2

Publications
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Moore and Marijn Heule In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements