ACL2 - язык программирования, на котором Вы можете смоделировать компьютерные системы, и инструмент, чтобы помочь Вам доказать свойства этих моделей.
Сайт разработчика: http://www.cs.utexas.edu/users/moore/acl2/
Разместил: vikos 24 Июль 2012 в 18:50