A. Zamfir

发表

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, FMBC@CAV.

Graceful Shutdown in MPLS and Generalized MPLS Traffic Engineering Networks

Zafar Ali, Jean-Philippe Vasseur, Jonathan Newton, 2010, RFC.

Tendermint Blockchain Synchronization: Formal Specification and Model Checking

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, ISoLA.