On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
Aman Goel, Karem Sakallah
Topics & Concepts
Computer scienceInvariant (physics)Homogeneous spaceSymmetry (geometry)Theoretical computer scienceAlgorithmProperty (philosophy)PrefixConstructiveProtocol (science)Context (archaeology)Automated theorem provingExploitAutomationKey (lock)Transformation (genetics)InferenceTopology (electrical circuits)Formal verificationScalabilityFormal Methods in VerificationDistributed systems and fault toleranceLogic, programming, and type systems