Aman Goel

icon indicating a website link https://aman-goel.github.io

icon company Amazon Web Services icon location Seattle, WA icon location Applied Scientist @ AWS

Results 2 repositories owned by Aman Goel

avr

72
Stars
19
Forks
Watchers

Reads a state transition system and performs property checking

verified publisher icon aman-goel

ic3po

19
Stars
2
Forks
Watchers

IC3PO: IC3 for Proving Protocol Properties

verified publisher icon aman-goel