 |
|
On this page a number of commercial organisations are listed which offer formal method oriented services:
|
Commercial
|
Location |
B-Core
| Oxon, UK
|
Cinderella
| Ballerup, Denmark
|
Clearsy
| Paris, France
|
Escher Technologies
Escher Technologies researches, develops and delivers tools for the efficient construction of provably correct software.
| Aldershot, UK
|
IFAD
| Odense, Denmark
|
Industrilogik
| Stockholm, Sweden
|
Praxis Critical Systems
| Bath, UK
|
Prover Technology
| Stockholm, Sweden
|
Sidereus
| Porto, Portugal
|
Telelogic
| Malm?, Sweden
|
Trusted Logic
| Versailles, France
|
|
Commercial
|
Location |
ORA Canada
| Ottawa, Ontario, Canada
|
Is your company not listed here? Please send the
appropriate information to webmaster@fmeurope.org.
|
