P. Manolios und Verification - Info zur Person

(1 - 12 von 18

)

Computer Aided Verification: 27th International Conference, CAV ...

books.google.com

Chamarthi, H.R., Dillinger, P., Manolios, P., Vroon, D.: The ACL2 sedan theorem proving system. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS

Computer Aided Verification: 27th International Conference, CAV 2015,...

books.google.de

The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015,...

Automating the Verification of RTL-Level Pipelined Machineschalmers.se

www.cse.chalmers.se

[5] P. Manolios and S. Srinivasan. A complete compositional reasoning framework for the efficient verification of pipelined machines. In ICCAD-. › DCC06 › abstracts

Enhanced Probabilistic Verification with 3SPINSpin - Formal Verification

spinroot.com

von PC Dillinger — P. C. Dillinger and P. Manolios methodology enable the user to more efficiently reach her verification goal while pre-. › Workshops › 012_paper

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

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 Challenge of Hardware-Software Co-verification | SpringerLinklink.springer.com › chapter

link.springer.com

P. Manolios and S. Srinivasan. A suite of hard ACL2 theorems arising in refinement-based processor verification. In M. Kaufmann and J. S. Moore, (eds.) ...

the siege sat solverSimon Fraser University

www2.cs.sfu.ca

P. Manolios and S.K. Srinivasan, Refinement Maps for Efficient Verification of Processor Models, Design, Automation, and Test in Europe (DATE '05), › software

Computer-Aided Reasoning - Kaufmann, MattDussmann

www.kulturkaufhaus.de

Mu-Calculus Model-Checking; P. Manolios. 8. High-Speed, Analyzable Simulators; D. Greve, et al. 9. Verification of a Simple Pipelined Machine Model; ... › ISBN › ISBN

Refinement Maps for Efficient Verification of Processor Models ...www.scipedia.com › public

www.scipedia.com

P. Manolios and S. Srinivasan, Refinement Maps for Efficient Verification of Processor Models, Collection of open conferences in research transport (2005).

Télécharger - Hal-Inriahal.inria.fr › html_references

hal.inria.fr

M. Kaufmann, J. S. Moore, and P. Manolios, Computer-Aided Reasoning: An Approach, H. Liu and J. Moore, Java Program Verification via a JVM Deep ...

ReferencesUniversity of New South Wales

cgi.cse.unsw.edu.au

P. Manolios: Mechanical verification of reactive systems. University of Texas. Panagiotis Manolios: A Compositional Theory of Refinement for Branching Time. › ~eptcs

Alle Infos zum Namen "P. Manolios"

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 Verification Person-Info