Model Checking LTL Formulae in RAISE with FDR

DOI10.1007/978-3-642-00255-7_16zbMath1211.68252OpenAlexW1517366058MaRDI QIDQ3605469

Chris George, Abigail Parisaca Vargas, Ana G. Garis, Silvia Lizeth Tapia Tarifa

Publication date: 24 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00255-7_16

zbMATH Keywords

toolsmodel checkingformal methodsCSPrefinementLTLFDRRAISERSL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Model checking RAISE applicative specifications

Uses Software

• RAISE
• SPIN
• LTL2BA
• FDR2

Cites Work

• The temporal semantics of concurrent programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model Checking LTL Formulae in RAISE with FDR