Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
From MaRDI portal
Publication:5403083
DOI10.1007/978-3-642-54624-2_28zbMath1407.68103OpenAlexW2281187718MaRDI QIDQ5403083
Min Zhang, Kokichi Futatsugi, Kazuhiro Ogata
Publication date: 25 March 2014
Published in: Specification, Algebra, and Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2_28
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Contextual effects for version-consistent dynamic software updating and safe concurrent programming
- Type-based hot swapping of running modules (extended abstract)
- Mutatis mutandis
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
- Formal Methods for Open Object-Based Distributed Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method