Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design
The Tail-Recursive SECD Machine
Journal of Automated Reasoning
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Verifying a Simple Pipelined Microprocessor Using Maude
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
| Hi-index | 0.00 |