Currently Available Software


I have also contributed to TULIP, a verification tool for interval markov chains.


Back to Michael Benedikt's home page
Last updated in April 2014