Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN

DOI10.1007/s100090050045zbMath1059.68587OpenAlexW2067623660MaRDI QIDQ1856167

Stefan Leue, Moataz Kamel

Publication date: 2000

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-62085

zbMATH Keywords

model checkingtemporal logicgeneral inter-ORB protocolPromela/Spinspecification patterns

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (2)

Mechanizing the Powerset Construction for Restricted Classes of ω-Automata ⋮ State Coverage Metrics for Specification-Based Testing with Büchi Automata

Uses Software

• SPIN
• PROMELA

This page was built for publication: Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN