collaborators

1 paper

cs.LO2023

Proofs about Network Communication: For Humans and Machines

Wolfgang Jeltsch, Javier Díaz

Many concurrent and distributed systems are safety-critical and therefore have to provide a high degree of assurance. Important properties of such systems are frequently proved on…