Using Uppaal for trace interpretation
Uppaal is a model checking tool for timed automata. When a counterexample is generated by Uppaal, or when a random / manual trace is present in the Simulator, it is able to save the trace in Uppaal’s...
View ArticleInstalling UPPAAL DBM library, the Ruby binding, and the Python binding on...
This is another build / configure post here. Another MacPorts failure in building the rb-gnome module (which in turn depends on poppler, failing for me). Here is a partial list of modules that MacPorts...
View ArticleList of unsuccessful MacPorts installations
So far, I have gathered a list of installations from MacPorts which have failed me. Maude 2.6: Fortunately, the developers of Maude have a precompiled version on their website. Ipe 7.1.1: An update...
View ArticleClik here to view.
Almost a month’s time using Mac OSX Mavericks
Mac OSX Mavericks has been available (for free) for almost a month. As a user upgrading from Lion, there is some getting used to when using Mavericks. In this post I summarized the features that I...
View Article
