Model Checking LTL Formulae in RAISE with FDR

DOI10.1007/978-3-642-00255-7_16zbMATH Open1211.68252OpenAlexW1517366058MaRDI QIDQ3605469FDOQ3605469

Authors: Abigail Parisaca Vargas, Ana G. Garis, Chris George, 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

Recommendations

• Model checking LTL using constraint programming
• scientific article; zbMATH DE number 1948409
• scientific article; zbMATH DE number 1487868
• LTL-model-checking via model composition
• LTL Generalized Model Checking Revisited
• LTL model checking for recursive programs
• scientific article; zbMATH DE number 1796131
• The Maude LTL model checker

zbMATH Keywords

toolsFDRCSPmodel checkingformal methodsrefinementLTLRAISERSL

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)

Cites Work

• Title not available (Why is that?)
• The temporal semantics of concurrent programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Model checking RAISE applicative specifications

Uses Software

• RAISE
• SPIN
• LTL2BA
• FDR2

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605469)