Formální metody Evropa - Formal Methods Europe

Formální metody Evropa (FME) je organizace, jejímž cílem je podporovat výzkum a aplikaci formální metody pro zlepšení software a Hardware v počítačových systémech. Členové sdružení jsou čerpáni z akademická obec a průmysl. Je založen na Evropa, ale je mezinárodního rozsahu. FSI působí pod holandský zákon.

Činnosti zahrnují nebo zahrnovaly:

Předsedou FSI je John Fitzgerald z University of Newcastle upon Tyne, Spojené království.

ForTIA

The Asociace průmyslových odvětví formálních technik (ForTIA) zaměřené na podporu průmyslového využití formální metody pod zastřešující organizací Formální metody Evropa. Byla založena v roce 2003 na základě počátečního úsilí Večeře Bjørner a předsedal mu Anthony Hall a mimo jiné Volkmar Lotz. Jeho rozsah byl mezinárodní a členství bylo společností. Organizovala setkání, zejména ve spojení s konferencemi, například průmyslovými dny na konferencích FM pořádaných FSI.[3][4]

Viz také

Reference

  1. ^ „FM 2011: 17th International Symposium on Formal Methods“. Limerick, Irská republika: Lero. 20. – 24. Června 2011. Citováno 16. srpna 2014.
  2. ^ „FM 2014: 19. mezinárodní sympozium o formálních metodách“. Singapur: Singapurská národní univerzita. 14. – 16. Května 2014. Citováno 16. srpna 2014.
  3. ^ „Průmyslový den ForTIA 2006“. Formální metody 2005. Newcastle-upon-Tyne, Velká Británie: Archive.org. Archivovány od originál 8. června 2009. Citováno 16. srpna 2013. Externí odkaz v | práce = (Pomoc)
  4. ^ „Industry Day“. FM 2006. Hamilton, Kanada: McMaster University. 23. srpna 2006. Citováno 16. srpna 2013. Externí odkaz v | práce = (Pomoc)

externí odkazy