VIP: A visual editor and compiler for v-Promela

DOI10.1007/3-540-46419-0_32MaRDI QIDQ2729086zbMATH OpenFDO

Authors Moataz Kamel, Stefan Leue

Publication date 4 November 2001

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

Full work available at URL https://doi.org/10.1007/3-540-46419-0_32

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• VCS: a verifier for component-based systems
• scientific article; zbMATH DE number 1391524
• Visual patterns in the VLEli system
• scientific article; zbMATH DE number 2087637

Cited in

(1)

• Visual programming system VIM

Describes a project that uses

Uses Software

• PROMELA
• SPIN
• VIP

This page was built for publication: VIP: A visual editor and compiler for v-Promela

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