RAISE
From MaRDI portal
Software:15781
No author found.
Related Items (15)
Object organisation in software environments for formal methods ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Using formal reasoning on a model of tasks for FreeRTOS ⋮ Model checking RAISE applicative specifications ⋮ Unnamed Item ⋮ Developing reactive systems in a VDM framework ⋮ Stepwise development and model checking of a distributed interlocking system using RAISE ⋮ Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\) ⋮ Model Checking LTL Formulae in RAISE with FDR ⋮ Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension ⋮ Engineering and theoretical underpinnings of retrenchment ⋮ Provably correct derivation of algorithms using FermaT ⋮ Algebraic Methodology and Software Technology ⋮ A formal object approach to the design of ZML
This page was built for software: RAISE
