issues
search
amutake
/
actario
Verification Framework for Actor Systems on Coq
GNU Lesser General Public License v2.1
29
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Yoshihiro503/coq 8.8
#17
yoshihiro503
closed
6 years ago
1
Coq8.5 and Ssreflect1.6
#16
amutake
opened
8 years ago
0
Example using fairness
#15
amutake
opened
8 years ago
0
Action inductive
#14
amutake
closed
8 years ago
0
Move to psg-titech
#13
amutake
opened
9 years ago
0
Unreliable semantics
#12
amutake
opened
9 years ago
0
Supervisor
#11
amutake
opened
9 years ago
0
ssreflect and fairness
#10
amutake
closed
9 years ago
0
more information in transition label (trans_type)
#9
amutake
closed
9 years ago
1
Fairness
#8
amutake
closed
9 years ago
1
transition path
#7
amutake
closed
9 years ago
1
ssreflect based
#6
amutake
closed
9 years ago
4
Change `actor` definition to Record
#5
amutake
closed
9 years ago
0
Sub-configuration and message delivery from/to external actor
#4
amutake
opened
9 years ago
0
Do something about Japanese comments
#3
amutake
opened
9 years ago
0
Remove global message queue
#2
amutake
closed
9 years ago
2
logo
#1
amutake
closed
9 years ago
1