Developing Topology Discovery in Event-B

DOI10.1007/978-3-642-00255-7_1zbMath1211.68028OpenAlexW1505442702MaRDI QIDQ3605457

Hironobu Kuruma, Thai Son Hoang, David A. Basin, Jean-Raymond Abrial

Publication date: 24 February 2009

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.9626

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Related Items (1)

Incremental System Modelling in Event-B

Uses Software

• HOL/SPIN
• Rodin

Cites Work

• A note on two problems in connexion with graphs
• Developing topology discovery in Event-B
• A mechanically proved and incremental development of IEEE 1394 tree identify protocol
• Formal verification of standards for distance vector routing protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Developing Topology Discovery in Event-B