Anwesend
Acceleo ist ein Codegenerator, der dazu bestimmt ist, den MDA-Ansatz effizient umzusetzen und die Produktivität der Softwareentwicklung zu verbessern. ...
 | ACL2.ACL2 ist sowohl eine Programmiersprache, in der Sie Computersysteme und ein Werkzeug modellieren können, um Ihnen zu helfen, die Eigenschaften von Modellen zu erweisen. |
| Jetzt downloaden | |
ACL2. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Matt Kaufmann and J S. Moore
- Website des Verlags:
- http://www.cs.utexas.edu/users/moore/acl2/
ACL2. Stichworte
ACL2. Beschreibung
ACL2 ist sowohl eine Programmiersprache, in der Sie Computersysteme und ein Werkzeug modellieren können, um Ihnen zu helfen, die Eigenschaften von Modellen zu beweisen. ACL2 ist eine Programmiersprache, in der Sie Computersysteme und ein Werkzeug modellieren können, um Ihnen zu helfen, die Eigenschaften dieser Modelle zu erweisen. ACL2 steht für "A-Rechenlogik für nützliche gemeinsame Lisp". Es ist eine "Industrial-Festigkeit" -Version des NQTHM- oder Boyer / Moore-Satzversuchs und wurde für die formale Überprüfung kommerzieller Mikroprozessoren, der Java-virtuellen Maschine, interessant eingesetzt Algorithmen usw.
ACL2. Zugehörige Software
Verteilen
Herunterladen, Bau, Installieren, Upgrade und deinstallieren Sie Python-Pakete - einfach! ...
