aman-goel

Applied Scientist @ AWS

Amazon Web ServicesSeattle, WA

Pinned Repositories

avr
Reads a state transition system and performs property checking
Language:C++76 3 1020
BakeryProtocol
Analysis and verification of Bakery protocol
Language:TLA2 2 00
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.
1 1 00
fmcad2021exp
Artifact for the FMCAD'21 paper - "Towards an Automatic Proof of Lamport’s Paxos"
3 2 01
ic3po
IC3PO: IC3 for Proving Protocol Properties
Language:Python25 2 33
ivybench
Collection of Distributed Protocol Verification Problems
Language:TLA12 2 02
nfm2019exp
Experimental data and plots
1 1 00
nfm2021exp
Artifact for the NFM'21 paper - "On Symmetry and Quantification: A New Approach to Verify Distributed Protocols"
0 2 00
tacas20ae
Artifact for the paper under submission - AVR: Abstractly Verifying Reachability
Language:Verilog1 2 00
yices2
The Yices SMT Solver
Language:SMT3 2 00

aman-goel's Repositories

aman-goel/verilogbench
Simple verilog benchmarks
Language:Verilog1 1 0
aman-goel/pdr
Property Directed Reachability implementation using Z3
Language:Python1 0
aman-goel/PVS
The People's Verification System
Language:Common Lisp1 0
aman-goel/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket1 0
aman-goel/z3
The Z3 Theorem Prover
Language:C++