Model checking RAISE applicative specifications

DOI10.1007/s00165-011-0217-0zbMath1298.68065MaRDI 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 checking; applicative specifications; RAISE

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

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