Veröffentlichungen
Februar 2024
So Mo Di Mi Do Fr Sa
   123
45678910
11121314151617
18192021222324
2526272829 
DBApp-Suche

Application datasets: 21245
Version datasets: 159637
DBApp v1.07
Copyright © demon
  ACL2

ACL2 ist eine mathematische Logik, eine Programmiersprache und ein mechanischer Satzbeweiser, der auf der applikativen Untermenge von Common Lisp beruht. Es ist eine robuste und produktiv einsetzbare Version des NQTHM- oder Boyer/Moore-Satzbeweisers und wurde bereits für die formale Verifikation von kommerziellen Mikroprozessoren, der Java Virtual Machine, interessanten Algorithmen usw. benutzt. (non)


 

Homepage: http://www.cs.utexas.edu/users/moore/acl2/
Rating:
Lizenz: BSD-Lizenz (Dreiklausel)
Kategorie: Konsole

ChangeLog:
http://www.cs.utexas.edu/users/moore/acl2/v3-5/new.html
Mailinglist:
[...]s.edu/users/moore/acl2/HTML/installation/misc.html#Addresses 
 

.: Hauptzweig
2024-02-22  8.5  Aktualisierungen  mehr...  
 
  Angaben ändern   Neue Version melden