Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dick Kieburtz
Formal Verification of Explicitly Parallel Microprocessors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Deductive Verification of Advanced Out-Of-Order Microprocessors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Netlog Protocols
Formal Verification of Hybrid Systems
Formal Verification of Evolutionary Changes
Formal Specification and Verification
