Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. The B Book: Assigning Programs to Meanings;Abrial,1996
2. The use of B to Specify, Design and Verify Hardware;Ifill,2001
3. ProB: A Model Checker for B;Leuschel,2003
4. Manolios P.: Refinement and Theorem Proving, International School on Formal Methods for the Design of Computer, Communication, and Software Systems: Hardware Verification, Springer, 2006
5. Manolios P., Srinivasan S.: A Complete Compositional Framework for the Efficient Verification of Pipelined Machines, ACM-IEEE International Conference on Computer Aided Design, 2005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献