pushdown-automaton topic
List
pushdown-automaton repositories
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
afsm
168
Stars
23
Forks
Watchers
C++14 Finite State Machine library
SwissArmyLib
189
Stars
19
Forks
Watchers
Collection of helpful utilities we use in our Unity projects.
SPDS
39
Stars
37
Forks
Watchers
Efficient and Precise Pointer-Tracking Data-Flow Framework