add VMSSG, promela-metamodel, 3Spin, CMurphi, LMtal, Finite Automata MC, v-n, py-powerset-construction, PyNuSMV, nuXmv, PyCSP, FDR2, KRATOS, Mr. Waffles, Alaska, OCRA, AF3-OCRA, FoReVer, Romeo, ExSched, RTComposer, ASTRAL, PAT, Invariant-Checker, LTLR, COMPASS, formal methods wiki, VLTS, BEEM
add v-Promela, POR, GMC, eTLA, BLAST, Peirce-Logic, VSE, VSE II, Leon, Eldarica, Eldrarica-P, Bug-Assist, Princess, Seneschal, Kaplan, ScalaZ3, Beaver, list of SMT solvers, VeriSoft, FTS, mutex Promela source codes, Jahob