Cited By
View all- Goel ASakallah K(2022)Regularity and quantification: a new approach to verify distributed protocolsInnovations in Systems and Software Engineering10.1007/s11334-022-00460-819:4(359-377)Online publication date: 29-Sep-2022
- Goel ASakallah K(2021)On Symmetry and Quantification: A New Approach to Verify Distributed ProtocolsNASA Formal Methods10.1007/978-3-030-76384-8_9(131-150)Online publication date: 19-May-2021
- Goel ASakallah K(2020)AVR: Abstractly Verifying ReachabilityTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-45190-5_23(413-422)Online publication date: 17-Apr-2020