Dr. Peter Dillinger und Acl2 - Info zur Person

(1 - 6 von 6

)

The ACL2 Sedan Theorem Proving System | SpringerLink

link.springer.com

Harsh Raju Chamarthi · Peter Dillinger · Panagiotis Manolios · Daron Vroon.

Alle Infos zum Namen "Dr. Peter Dillinger"

Peter Dillinger

easychair.org

Peter Dillinger. Organization: Northeastern University. Web site: http://www.peterd.org. Pages in this Program. ACL2 on Saturday, July 12th,

ACL2 Workshop | Main / AdvanceProgram browse

www.cs.uwyo.edu

Peter Dillinger, Matt Kaufmann, Pete Manolios. Slides. 9:30-10:00. Pythia: Automatic Generation of Counterexamples for ACL2 using Alloy.

ACL2-SEDAN.html ACL2 Version 6.2

www.cs.utexas.edu

... may prefer to start with an Eclipse-based interface initiallly developed by Peter Dillinger and Pete Manolios called the ``ACL2 Sedan'', or ``ACL2s''.

NOTE-3-2.html ACL2 Version 6.3

www.cs.utexas.edu

Thanks to Peter Dillinger for sending an interesting example that led us to an exploration resulting in finding this bug. (A comment in the source code for note

harshrc's homepage - Khoury College of Computer Scienceswww.ccs.neu.edu › home › harshrc

www.ccs.neu.edu

ACL2s was developed by Peter Dillinger and features extensions to ACL2 by Daron Vroon, Pete Manolios and myself that make theorem-proving easily accessible ...

Verwandte Suchanfragen zu Dr. Peter Dillinger

Panagiotis Manolios
Michael Brockelt
Dominik Dallwitz-Wegner

Renate Iffland-Klankert

Personen
Vorname "Peter" (123603)
Name "Dillinger" (380)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z