Model checking RAISE applicative specifications
From MaRDI portal
Publication:470000
DOI10.1007/s00165-011-0217-0zbMath1298.68065OpenAlexW2011856183MaRDI QIDQ470000
Publication date: 11 November 2014
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10915/22134
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Model checking RAISE applicative specifications ⋮ Stepwise development and model checking of a distributed interlocking system using RAISE ⋮ Stepwise development and model checking of a distributed interlocking system -- using RAISE
Uses Software
Cites Work
- Model checking RAISE applicative specifications
- Hardware and software, verification and testing. Second international Haifa verification conference, HVC 2006, Haifa, Israel, October 23--26, 2006. Revised selected papers
- Symbolic model checking: \(10^{20}\) states and beyond
- An Algebraic Approach to Compiler Design
- Model Checking LTL Formulae in RAISE with FDR
- The B-Book
- Computer Aided Verification
- ZB 2005: Formal Specification and Development in Z and B
- FM 2005: Formal Methods
- Formal Methods at the Crossroads. From Panacea to Foundational Support
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Model checking RAISE applicative specifications