Завдання лабораторної роботы No.0 з дисципліни "Методи верифікації і оптимізації програм" доц. О.Л.Хижа кафедра компьютерных технологий, ФПМ, ДНУ 2012/2013 Тема ---- Початок роботы з ACL2 Завдання 1. Скачать ACL2 с сайта [1]. Проинсталлировать ACL2. Проверить работу системы на простом примере из документации. 2. Скачать ACL2s с сайта [2]. Проинсталлировать ACL2s. Проверить работу системы на простом примере из документации. Джерела 1. ACL2 Version 4.3 http://www.cs.utexas.edu/users/moore/acl2/ 2. ACL2s: "The ACL2 Sedan" for Eclipse / Current version 1.0.2.1 (with ACL2 version 4.3.0) http://acl2s.ccs.neu.edu/acl2s/doc/