issues
search
hgoes
/
gtl
The GALS Transformation Language
Other
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
LTL capturing past variables is broken
#15
TPolzer
opened
10 years ago
0
SPIN verification breaks when narrowing implementation contract
#14
TPolzer
opened
10 years ago
1
Det
#13
TPolzer
opened
10 years ago
0
backendVerify has no way to access input/output declarations
#12
TPolzer
opened
10 years ago
1
Bounded model checking is broken.
#11
TPolzer
closed
10 years ago
2
gtl does not build with newest smtlib
#10
TPolzer
closed
10 years ago
1
determinizeBA produces invalid output in some cases
#9
TPolzer
opened
10 years ago
6
Büchi determinization bug
#8
hgoes
closed
12 years ago
0
Verify each property in Scade on its own
#7
hbasold
opened
12 years ago
0
Create special case for büchi product construction
#6
hgoes
closed
13 years ago
0
BDD verification doesn't work with arrays and enums
#5
hgoes
opened
13 years ago
0
Create UPPAAL verification target
#4
hgoes
closed
13 years ago
1
Make verification seamless
#3
hgoes
opened
13 years ago
0
Adding time concepts
#2
hgoes
opened
13 years ago
0
Improving the LTL to Büchi translation
#1
hgoes
closed
13 years ago
0