Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.

Si Liu, Peter Csaba lveczky, Jatin Ganhotra, Indranil Gupta, Jos Meseguer

Browse the full ICFEM paper archive.