Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B.

Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frdric Migeon, Ahmed Hadj Kacem

Browse the full SEFM paper archive.