RAISE
From MaRDI portal
RAISE Q15781
Cited in
(19)- Developing reactive systems in a VDM framework
- A derivation strategy for formal specifications from natural language requirements models
- Stepwise development and model checking of a distributed interlocking system using RAISE
- Algebraic Methodology and Software Technology
- Model Checking LTL Formulae in RAISE with FDR
- Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
- Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
- Provably correct derivation of algorithms using FermaT
- Domain modeling-based software engineering. A formal approach
- SAL
- FreeRTOS
- FermaT
- mural
- scientific article; zbMATH DE number 2172805 (Why is no real title available?)
- Model checking RAISE applicative specifications
- Using formal reasoning on a model of tasks for FreeRTOS
- Object organisation in software environments for formal methods
- A formal object approach to the design of ZML
- Engineering and theoretical underpinnings of retrenchment
This page was built for software: RAISE
