A quick review of Python and Graph Databases
Efficient Reachability Analysis for Verification of Asynchronous Systems Nishant Sinha.