Specification and Verification of the PowerScale

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian

Browse the full FORTE paper archive.