I4: incremental inference of inductive invariants for verification of distributed protocols H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah Proceedings of the 27th ACM Symposium on Operating Systems Principles, 370-384, 2019 | 73 | 2019 |
AVR: abstractly verifying reachability A Goel, K Sakallah Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 39 | 2020 |
Model checking of verilog rtl using ic3 with syntax-guided abstraction A Goel, K Sakallah NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 35 | 2019 |
On symmetry and quantification: A new approach to verify distributed protocols A Goel, K Sakallah NASA Formal Methods Symposium, 131-150, 2021 | 27 | 2021 |
Towards an Automatic Proof of Lamport's Paxos A Goel, K Sakallah # PLACEHOLDER_PARENT_METADATA_VALUE#, 112-122, 2021 | 19 | 2021 |
Empirical evaluation of ic3-based model checking techniques on verilog rtl designs A Goel, K Sakallah 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 618-621, 2019 | 11 | 2019 |
Towards automatic inference of inductive invariants H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah Proceedings of the Workshop on Hot Topics in Operating Systems, 30-36, 2019 | 8 | 2019 |
IC3PO: IC3 for Proving Protocol Properties A Goel, K Sakallah https://github.com/aman-goel/ic3po, 0 | 7 | |
iitRACE: A memory efficient engine for fast incremental timing analysis and clock pessimism removal C Peddawad, A Goel, B Dheeraj, N Chandrachoodan 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 903-909, 2015 | 6 | 2015 |
Sift: Using refinement-guided automation to verify complex distributed systems H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci 2022 USENIX Annual Technical Conference (USENIX ATC 22), 151-166, 2022 | 5 | 2022 |
Matrix-Matrix Multiplication Using Systolic Array Architecture in Bluespec C Peddawad, A Goel, B Dheeraj Project report, CS6230: CAD for VLSI, IIT Madras, 2015 | 3* | 2015 |
AVR (Averroes 2) A Goel, K Sakallah https://github.com/aman-goel/avr, 0 | 3* | |
Regularity and quantification: a new approach to verify distributed protocols A Goel, KA Sakallah Innovations in Systems and Software Engineering 19 (4), 359-377, 2023 | 2 | 2023 |
Towards an automatic proof of the bakery algorithm A Goel, S Merz, KA Sakallah International Conference on Formal Techniques for Distributed Objects …, 2023 | 1 | 2023 |
From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols A Goel | 1 | 2021 |
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols K Fazekas, A Goel, KA Sakallah CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 152, 2023 | | 2023 |
reTLA: Towards an automatic transpiler from TLA+ to VMT J Kukovec, A Goel, I Konnov, S Merz, K Sakallah | | |