Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods.

Michael D. Jones, Ganesh Gopalakrishnan

Browse the full FMCAD paper archive.