Waqar Ahmed's repositories
pyFTreetool
The pyFTree is a open source tool that takes a FT model as a python program and spit out minimal cutsets.
acl2
ACL2 System and Books as Maintained by the Community
api-example-app
Example of an App that uses AgenaRisk 10 Java API
Bayesian_network
HOL Formalization of Bayesian Networks
Fault-Tree-Python
Using Monte Carlo method to find a minimal cut set (MCS) for a fault tree.
Formal-Dependability
Contains all the thesis HOL scripts
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
hol-light
The HOL Light theorem prover (moved from Google code)
HOL4-impconv
Implicational conversions for HOL4
Jenkins
playing with Jenkins Job
l4v
seL4 specification and proofs
online-cv
A minimal Jekyll Theme to host your resume (CV)
polyml
Poly/ML
pvslib
NASA PVS Library of Formal Developments
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
vim-easyclip
Simplified clipboard functionality for Vim