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

Linas Laibinis, Elena Troubitsyna, Z Graja, F Migeon, AH Kacem

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationSoftware Engineering and Formal Methods (SEFM 2014)
EditorsD Giannakopoulou, G Salaun
PublisherSpringer
Pages363–377
ISBN (Electronic)978-3-319-10431-7
ISBN (Print)978-3-319-10430-0
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
Eventconference; 2014-09-01; 2014-09-05 - Grenoble, France
Duration: 1 Sep 20145 Sep 2014

Conference

Conferenceconference; 2014-09-01; 2014-09-05
Period01/09/1405/09/14

Keywords

  • cooperative behaviour
  • formal modelling
  • formal verification
  • multi-agent systems

Cite this