Tools
--- Synchronized Transitions --- -*

Back To Asynchronous Logic

Synchronized Transitions


From: Budi Rahardjo (rahard@ee.umanitoba.ca)
Synchronized transition (ST) is a methodology advocated by J. Stanustroup. There is a set of tools to translate the description to a C program or to a description that can be fed to LP, the Larch Prover. ST tools are available through anonymous FTP from here (ftp.std.com:/Kluwer/software/synchronized_transitions/*)
Contact : jst@id.dth.dk

Last Updated: Tue 14 Jun 2005 09:18:28 GMT
Comments to: jdg@cs.man.ac.uk