Standard Report in ASAP
This briefly goes thru the (work in progress) standard report JoSEL specification in ASAP. […]
Search Results for:
Off-line Analysis
Here we change the safety checker to do off-line analysis, thereby halving the execution time. […]
Graph Drawing and Export
Here we change the job to instead draw the state space graph. We modify the model to only contain two philosophers and play a bit with the resulting graph, including exporting it in DOT and GraphML format. […]
Creating Job for the Sweep-line Method
We modify the job created in our previous example to instead use the sweep-line method. […]
Checking Properties Using the Sweep-line Method
In this example we use the sweep-line method to check a mutual exclusion property of the dining philosophers example. […]
Read More… from Checking Properties Using the Sweep-line Method
Contact
The easiest way to get in contact with me is by e-mail. You can reach me at: michael@westergaard.eu You can find me on a number of social web-sites (in order of preference): Fediverse (aka Mastodon): @michael@westergaard.social Twitter: klafbang LinkedIn: klafbang Academia.edu: Michael Westergaard […]