Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Formal Methods Companies
  

• Baan Visualstate.
• IFAD in Odense.
• Logikkonsult i Stockholm.
• Cadence Berkeley Labs.
• Computational Logic Inc. (CLI) i Austin, Texas.
• ORA Corporation i Canada.

You can find many more links to  companies offering expertice on formal methods maintained by Jonathan Bowen.