Pinned Repositories
avr
Reads a state transition system and performs property checking
BakeryProtocol
Analysis and verification of Bakery protocol
date19eval
Experimental data for paper: A. Goel, and K. Sakallah, “Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs” in DATE, 2019.
fmcad2021exp
Artifact for the FMCAD'21 paper - "Towards an Automatic Proof of Lamport’s Paxos"
ic3po
IC3PO: IC3 for Proving Protocol Properties
ivybench
Collection of Distributed Protocol Verification Problems
nfm2019exp
Experimental data and plots
nfm2021exp
Artifact for the NFM'21 paper - "On Symmetry and Quantification: A New Approach to Verify Distributed Protocols"
tacas20ae
Artifact for the paper under submission - AVR: Abstractly Verifying Reachability
yices2
The Yices SMT Solver
aman-goel's Repositories
aman-goel/avr
Reads a state transition system and performs property checking
aman-goel/ic3po
IC3PO: IC3 for Proving Protocol Properties
aman-goel/ivybench
Collection of Distributed Protocol Verification Problems
aman-goel/fmcad2021exp
Artifact for the FMCAD'21 paper - "Towards an Automatic Proof of Lamport’s Paxos"
aman-goel/yices2
The Yices SMT Solver
aman-goel/BakeryProtocol
Analysis and verification of Bakery protocol
aman-goel/date19eval
Experimental data for paper: A. Goel, and K. Sakallah, “Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs” in DATE, 2019.
aman-goel/nfm2019exp
Experimental data and plots
aman-goel/P
The P programming language.
aman-goel/tacas20ae
Artifact for the paper under submission - AVR: Abstractly Verifying Reachability
aman-goel/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
aman-goel/nfm2021exp
Artifact for the NFM'21 paper - "On Symmetry and Quantification: A New Approach to Verify Distributed Protocols"
aman-goel/abc_java_bindings
Java bindings for ABC tool
aman-goel/aman-goel.github.io
Website (self)
aman-goel/aman_cv
My CV
aman-goel/apalache
APALACHE: symbolic model checker for TLA+
aman-goel/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
aman-goel/btor2tools
A generic parser and tool package for the BTOR2 format.
aman-goel/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
aman-goel/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
aman-goel/fc3po
aman-goel/gmp
gmp compiled with PIC
aman-goel/hello-world
aman-goel/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
aman-goel/jbool_expressions
jbool_expressions is a simple open-source library for creating and manipulating propositional logic expressions in java
aman-goel/minisat
A minimalistic and high-performance SAT solver
aman-goel/pysmt
pySMT: A library for SMT formulae manipulation and solving
aman-goel/repycudd
Reentrant version of pycudd
aman-goel/yices2_java_bindings
Java bindings for Yices 2.
aman-goel/yosys
Yosys Open SYnthesis Suite