Search papers, labs, and topics across Lattice.
1
0
Combining model checking with simulation relations enables the verification of complex protocols without succumbing to state space explosion.
