Model checking RAISE applicative specifications

DOI10.1007/s00165-011-0217-0zbMath1298.68065OpenAlexW2011856183MaRDI QIDQ470000

Chris George, Juan I. Perna

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

zbMATH Keywords

model checkingapplicative specificationsRAISE

Mathematics Subject Classification ID

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

• SLAM
• RAISE
• SPIN
• NuSMV
• ProB
• PROMELA
• Java PathFinder
• Bandera
• Z

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