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

76
Stars
20
Forks
Watchers

Reads a state transition system and performs property checking

verified publisher icon aman-goel

ic3po

26
Stars
3
Forks
Watchers

IC3PO: IC3 for Proving Protocol Properties

verified publisher icon aman-goel