Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. The B-Book;Abrial,1996
2. N. Bjørner, A. Brown, M. Colon, B. Finkbeiner, Z. Manna, H. Sipma, T. Uribe, Verifying temporal properties of reactive systems: a step tutorial, in: Formal Methods in System Design, 2000, pp. 227–270.
3. E. Boiten, W. de Roever, Getting to the bottom of relational refinement: relations and correctness, partial and total (extended abstract), in: R. Berghammer, B. Möller (Eds.), 7th Intern. Seminar on Relational Methods in Computer Science (RelMCS 7), University of Kiel, 2003, pp. 82–88.
4. C. Bolton, J. Davies, J. Woodcock, On the refinement and simulation of data types and processes, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Proc. of the Intern. Conf. of Integrated Formal Methods (IFM), Springer, Berlin, 1999, pp. 273–292.
5. E. Börger, A logical operational semantics for full prolog. Part I: selection core and control, in: E. Börger, H. Kleine Büning, M.M. Richter, W. Schönfeld (Eds.), CSL’89. 3rd Workshop on Computer Science Logic, Lecture Notes in Computer Science, Vol. 440, Springer, Berlin, 1990, pp. 36–64.
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Compliance for Multilevel Models in Individual Trace Semantics;Programming and Computer Software;2021-12
2. Moded and Continuous Abstract State Machines;Logic, Computation and Rigorous Methods;2021
3. Understanding, Explaining, and Deriving Refinement;From Astrophysics to Unconventional Computation;2019-04-17
4. Why Programming Must Be Supported by Modeling and How;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
5. State-Based Languages: Event-B and ASM;Refinement;2018