scientific article; zbMATH DE number 2079827

zbMath1043.68578MaRDI QIDQ4471931

Hassan Mountassir, Pierre-Alain Masson, Jacques Julliand

Publication date: 30 July 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1945/19450398.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model-checkingBüchi automatamodularityRefinementVerificationB specificationPropositional linear temporal logic PLTL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Related Items (2)

Unnamed Item ⋮ Partitioned PLTL model-checking for refined transition systems

Uses Software

• SPIN

This page was built for publication: