Formally Analyzed Dynamic Synthesis of Hardware
The Journal of Supercomputing
Verifying a Simple Pipelined Microprocessor Using Maude
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Extended abstract: towards verifying semistructured data
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Theorem prover approach to semistructured data design
Formal Methods in System Design
Benchmarking a model checker for algorithmic improvements and tuning for performance
Formal Methods in System Design
Component reuse in b using ACL2
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Research into verifying semistructured data
ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
| Hi-index | 0.00 |