Menu ▾ ▴

Code Commit Log


Commit Date  
[r134] by hannesklarner

removed the 'TRANSITIONCOUNTER' feature for model checking. Two reasons: 1. for LTL use bounded model checking (not implemented) while for CTL the semantics is probably to complicated. 2. from the NuSMV manual 'NuSMV allows for Real Time CTL specifications. NuSMV assumes that each transition takes unit time for execution.'

 2015-11-13 14:40:56 Tree
[r133] by hannesklarner

minor fixes

 2015-11-12 16:09:00 Tree
[r132] by hannesklarner

improved temporal queries to allow strings, added 'EF_nested_subspace_reachability(Primes, Subspaces)' made some names clearer.

 2015-11-12 10:38:02 Tree
[r131] by hannesklarner

bugfix

 2015-11-11 14:26:18 Tree
[r130] by hannesklarner

styles fixes

 2015-11-11 13:47:36 Tree
[r129] by hannesklarner

styles fixes

 2015-11-11 13:28:51 Tree
[r128] by hannesklarner

default style for STGs does not include min-trap-spaces (seems a bit advanced). adjusted penwidth of styles (all the same width, prettier)

 2015-11-11 13:21:59 Tree
[r127] by hannesklarner

added 'str2subspace(Primes,Str)' that converts a str into a dic

 2015-11-11 13:05:33 Tree
[r126] by hannesklarner

rename 'VARIABLESCHANGING' to 'SUCCESSORS' (seems more intuitive)

 2015-11-11 13:04:28 Tree
[r125] by hannesklarner

added 'init_for_multivalues(Primes)' which creates initial conditions for non-Boolean components

 2015-11-10 13:31:25 Tree
Older >