ForTIA
The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bjørner and was chaired by Anthony Hall and Volkmar Lotz among others. Its scope was international and membership was by company. It organized meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.[1][2]
See also
- Formal methods
- FME (Formal Methods Europe)
- Anthony Hall, founding chair of ForTIA
References
- ↑ "ForTIA Industry Day 2006". Formal Methods 2005. Newcastle-upon-Tyne, UK: Archive.org. Archived from the original on June 8, 2009. Retrieved 16 August 2013. External link in
|work=(help) - ↑ "Industry Day". FM 2006. Hamilton, Canada: McMaster University. 23 August 2006. Retrieved 16 August 2013. External link in
|work=(help)
External links
- ForTIA website (2009)
This article is issued from Wikipedia - version of the Tuesday, March 29, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.