Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.

Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor

Browse the full ICECCS paper archive.