Login / Signup
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
Travis Hance
Yi Zhou
Andrea Lattuada
Reto Achermann
Alex Conway
Ryan Stutsman
Gerd Zellweger
Chris Hawblitzel
Jon Howell
Bryan Parno
Published in:
OSDI (2023)
Keyphrases
</>
state machine
concurrent systems
distributed systems
fault tolerant
finite state machines
state machines
model checking
real world
temporal logic
complex systems
semi automated
highly flexible
transition systems
knowledge representation
data exchange
process algebra