Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

Bibliographic Details
Main Authors:	Ne Win, Toh, Ernst, Michael D.
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149943

Similar Items

Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)

Elementary Geometry Theorem Proving
by: Goldstein, Ira
Published: (2004)

PLANNER: A Language for Proving Theorems
by: Hewitt, Carl
Published: (2004)

A Proposal for a Geometry Theorem Proving Program
by: Hart, Timothy P.
Published: (2004)

Plane Geometry Theorem Proving Using Forward Chaining
by: Nevins, Arthur J.
Published: (2004)

A Human Oriented Logic for Automatic Theorem Proving
by: Nevins, Arthur J.
Published: (2004)

Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure
by: Toh, Sing Poh
Published: (2008)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
by: Norton, Lewis Mark
Published: (2023)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
by: Norton, Lewis Mark
Published: (2004)

Monte Carlo Tree Search Applications to Neural Theorem Proving
by: LaBelle, Ethan
Published: (2024)

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
by: Hewitt, Carl
Published: (2004)

Translating timed I/O automata specifications for theorem proving in PVs
by: Lim, Hongping
Published: (2007)

A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach
by: Natarajan, Surash
Published: (1994)

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
by: Hewitt, Carl
Published: (2004)

Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2004)

Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2008)

Proving Correctness of a Distributed Shared Memory Implementation
by: Castro, Miquel
Published: (2023)

Verifying the Performance of Network Control Algorithms
by: Arun, Venkat
Published: (2023)

Algorithms for verifying the integrity of untrusted storage
by: Sudan Ajay, 1980-
Published: (2005)

The Exception Proves the Rule
by: Holton, Richard
Published: (2009)

The Exception Proves the Rule
by: Holton, Richard
Published: (2011)

Verifying linearizability via optimized refinement checking
by: Dong, Jin Song, et al.
Published: (2013)

Verifiable reinforcement learning via policy extraction
by: Solar Lezama, Armando, et al.
Published: (2021)

Proving Correctness of a Controller Algorithm for the RAID Level 5 System
by: Vazirir, Mandana, et al.
Published: (2023)

Proving correctness of a controller algorithm for the RAID Level 5 system
by: Vaziri-Farahani, Mandana
Published: (2005)

A pseudopolynomial algorithm for Alexandrov's theorem
by: Kane, Daniel, et al.
Published: (2011)

Malaysian varsities prove their worth
by: Mustafa, Zulita
Published: (2018)

Proving Atomicity: An Assertional Approach
by: Chockler, Gregory, et al.
Published: (2005)

Using mouse strokes to verify user identity
by: Toh, Jing Sheng.
Published: (2013)

Verified Scheduling Via High-Level Scheduling Rewrites
by: Liu, Amanda
Published: (2022)

A pseudopolynomial algorithm for Alexandrov's theorem
by: Price, Gregory Nathan
Published: (2009)

Grove: a Separation-Logic Library for Verifying Distributed Systems
by: Sharma, Upamanyu, et al.
Published: (2023)

Theorizing and proving intersectionality in transnational contexts
by: Pluss, Caroline, et al.
Published: (2015)

Experiencing mathematical proves syntax of an astrolabe
by: Liuni, Francesca
Published: (2017)

How the Upper Bound Conjecture Was Proved
by: Stanley, Richard P.
Published: (2015)

Proving acceptability properties of relaxed nondeterministic approximate programs
by: Carbin, Michael James, et al.
Published: (2012)

Distributed PCP Theorems for Hardness of Approximation in P
by: Abboud, Amir, et al.
Published: (2021)

Nonlinear dynamic maximum power theorem
Published: (2004)

Verifying temporal data in geotagged images via sun Azimuth estimation
by: Sudha, N., et al.
Published: (2012)

Verified tensor-program optimization via high-level scheduling rewrites
by: Liu, Amanda, et al.
Published: (2022)