Formal Methods Wiki

Do add comments here if you wish. — Jonathan 21:59, 9 March 2009 (UTC)


It was taken to our attention that the page did not mention our company… I tried to add it, but the page appeared to be locked.

Would you please be kind enough to add Systerel ( to the list, or else give me the indication on how to do it myself.

Thank you very much for your help.

Matclab (talk) 08:57, October 6, 2014 (UTC)

Many Thanks (Swedish: Tack så mycket)[]

Hello Mr. Jonathan Bowen,

--[Please let me know what the proper-form of address is.]--

Thank you for maintaining this community for us. I appreciate the work you do here.

Good thoughts, good words, good deeds;

Tautological Revelations (talk) 13:42, October 13, 2020 (UTC)