RAISE
From MaRDI portal
Software:15781
swMATH3248MaRDI QIDQ15781FDOQ15781
Author name not available (Why is that?)
Cited In (15)
- Developing reactive systems in a VDM framework
- 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
- Domain modeling-based software engineering. A formal approach
- Provably correct derivation of algorithms using FermaT
- Title not available (Why is that?)
- Model checking RAISE applicative specifications
- Using formal reasoning on a model of tasks for FreeRTOS
- Object organisation in software environments for formal methods
- Title not available (Why is that?)
- A formal object approach to the design of ZML
- Engineering and theoretical underpinnings of retrenchment
This page was built for software: RAISE
