Seguir
Ankit Kumar
Título
Citado por
Citado por
Ano
Automated grading of automata with ACL2s
A Kumar, A Walter, P Manolios
arXiv preprint arXiv:2303.05867, 2023
22023
Calculational Proofs in ACL2s
AT Walter, A Kumar, P Manolios
arXiv preprint arXiv:2307.12224, 2023
12023
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
A Kumar, M von Hippel, P Manolios, C Nita-Rotaru
arXiv preprint arXiv:2212.05197, 2022
12022
Mathematical Programming Modulo Strings
A Kumar, P Manolios
2021 Formal Methods in Computer Aided Design (FMCAD), 261-270, 2021
12021
Verification of GossipSub in ACL2s
A Kumar, M von Hippel, P Manolios, C Nita-Rotaru
arXiv preprint arXiv:2311.08859, 2023
2023
Proving Calculational Proofs Correct
AT Walter, A Kumar, P Manolios
arXiv preprint arXiv:2311.08860, 2023
2023
Extension of a Language Combining Proofs and Programs with Polymorphic Types
A Kumar
INDIAN INSTITUTE OF TECHNOLOGY KANPUR, 2017
2017
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–7