Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. C. Bolton. On the Refinement of State-Based and Event-Based Models. D.Phil., University of Oxford, 2002
2. A Comparison of Refinement Orderings and their Associated Simulation Rules;Bolton,2002
3. C. Bolton and J. Davies. Refinement in Object-Z and CSP. In M. Butler, L. Petre, and K. Sere, editors, Proceedings of Integrated Formal Methods (IFM '02), 2002
4. Data Refinement: Model-oriented Proof Methods and their Comparison;de Roever,1998
5. Refinement in Z and Object-Z;Derrick,2001
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bounded Verification of Sparse Matrix Computations;2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness);2019-11
2. A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications;Advances in Intelligent Systems and Computing;2017-08-17
3. An idiom to represent data types in Alloy;Information and Software Technology;2017-02
4. Support for Model Checking Z Specifications;2016 IEEE 17th International Conference on Information Reuse and Integration (IRI);2016-07
5. Using Alloy in Introductory Courses of Formal Methods;Structured Object-Oriented Formal Language and Method;2015