Simple animation with ProB
A simple Robot-Maze animation in ProB
A comprehensive article can be located on the ProB offic...
Posted on January 24th, 2016
ProB - NAT set is limited to max value of 3
So I came across this issue a colleague of mine was facing when he was using the NAT set in ProB....
Posted on January 23rd, 2016
Installing ProB with Graphviz on Mac (OSX)
To run ProB with Graphiz on mac:
Note: Make sure you have java installed (version 7.0 or newer as...
Posted on January 17th, 2016
Installing Prob and configuring Graphviz on Windows
Want to configure Graphviz to run with ProB? Flow these steps:Download Prob from https://www3.hhu...
Posted on January 15th, 2016
Java Play CI with Jenkins - Build error: UNRESOLVED DEPENDENCIES
So I came across this issue and thought it would be helpful for anyone who stumbles upon the same...
Posted on November 23rd, 2015
Registering a systemd service in Red Hat Linux 7
Moving from upstart to systemD? Here's how you can get about doing it on Red Hat Linux (I'm using...
Posted on October 27th, 2015