P. Manolios und Zitiert - Info zur Person

(1 - 5 von 8

)

A Generalized Solution for the While Challenge (Extended ...University of Florida

sandip.ece.ufl.edu

von S Ray · Zitiert von: 1 — Journal of Functional. Programming, To Appear. [3] P. Manolios and J. S. Moore. Partial Functions in. ACL2. Journal of Automated Reasoning, 31(2): ... › publications › acl207

Formally Verifying an Algorithm Based on Interval Arithmetic ...The University of Texas at Austin

www.cs.utexas.edu

von M Gameiro · Zitiert von: 5 — P. Manolios. Verification of pipelined machines in ACL2. In M. Kaufmann and J. S.. Moore, editors, Proceedings of the ACL2 Workshop › acl2 › acl2_04_paper

Integrating External Deduction Tools with ACL2CEUR-WS

ceur-ws.org

von M Kaufmann · Zitiert von: 26 — An embedding of the ACL2 logic in HOL. In P. Manolios and M. Wilding, editors, 6th International Workshop on the ACL2 Theorem Prover and Its. Applications (ACL › Vol-212 › 04_Kaufmann

Less Hashing, Same Performance: Building a Better Bloom FilterHarvard University

www.eecs.harvard.edu

von A Kirsch · Zitiert von: 270 — P. C. Dillinger and P. Manolios. Bloom Filters in Probabilistic Verification. In. Proceedings of the 5th International Conference on Formal Methods in ... › postscripts

The ACL2 Sedan Theorem Proving System | SpringerLinkspringer.com

link.springer.com

von HR Chamarthi · · Zitiert von: 46 — Chamarthi, H.R., Dillinger, P., Manolios, P., Vroon, D. (2011). The ACL2 Sedan Theorem Proving System. In: Abdulla, P.A., Leino, K.R.M. (eds) Tools and ... › chapter

Verwandte Suchanfragen zu P. Manolios

Panagiotis Manolios

Personen
Vorname
Name "Manolios" (2)

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

P. Manolios und Zitiert Person-Info

A Generalized Solution for the While Challenge (Extended ...University of Florida

Formally Verifying an Algorithm Based on Interval Arithmetic ...The University of Texas at Austin

Integrating External Deduction Tools with ACL2CEUR-WS

Less Hashing, Same Performance: Building a Better Bloom FilterHarvard University

The ACL2 Sedan Theorem Proving System | SpringerLinkspringer.com