The Probabilistic Consistency Engine is a probabilistic reasoning engine based on Markov Chain Monte Carlo sampling...
TimedIntruder is a tool for modeling and analysis of cyber-security protocols. The tool supports symbolic search for attacks...
Synudic is a paradigm for program synthesis that relies on dual interpretation to encode nonfunctional requirements and prune the synthesis search space.