Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems.

Carlos Mo de Ferro, Tiago Cogumbreiro, Francisco Martins

Browse the full Coordination paper archive.