Abstract | ||
---|---|---|
Refine is a tool that supports the application of Morgan's refinement calculus. It was designed to support teaching and use by beginners; it is already in use. We describe here the extension of Refine to support the development of (possibly recursive) procedures in the algebraic style of the refinement calculus already adopted by Refine. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.entcs.2007.03.015 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
algebraic style,refinement calculus,refinement tool,formal methods,mechanised refinement,formal method | Discrete mathematics,Algebraic number,Refinement calculus,Computer science,Refinement,Formal methods,Recursion | Journal |
Volume | ISSN | Citations |
184, | Electronic Notes in Theoretical Computer Science | 1 |
PageRank | References | Authors |
0.39 | 15 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Manuela Xavier | 1 | 19 | 1.87 |
Ana Cavalcanti | 2 | 668 | 59.95 |