ForTIA
Encyclopedia
The Formal Techniques Industry Association (ForTIA) aims 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 is currently chaired by Volkmar Lotz. Its scope is international and membership is by company. It organizes meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
under the umbrella organization of Formal Methods Europe
Formal Methods Europe
Formal Methods Europe is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in...
. It was founded in 2003 through the initial efforts of Dines Bjørner
Dines Bjørner
Professor Dines Bjørner is a Danish computer scientist.He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM in Vienna...
and is currently chaired by Volkmar Lotz. Its scope is international and membership is by company. It organizes meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.
See also
- Formal methodsFormal methodsIn computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
- FMEFormal Methods EuropeFormal Methods Europe is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in...
(Formal Methods Europe) - Anthony HallJ. Anthony HallJ. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry...
, founding chair of ForTIA