Ilya Sergey
Results
3
repositories owned by
Ilya Sergey
pnp
154
Stars
17
Forks
Watchers
Lecture notes for a short course on proving/programming in Coq via SSReflect.
reachability
30
Stars
4
Forks
Watchers
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
monadic-cfa
21
Stars
0
Forks
Watchers
Generic implementation of different CFA families based on monadic decomposition