Uploads
Contact
/
Login
Upload
Search Results for 'Assumeguarantee'
AssumeGuarantee Reasoning for Hybrid IOAutomata by OverApproximation of Continuous Interaction
briana-ranney
AssumeGuarantee Model Checking Cormac Flanagan and Shaz Qadeer Systems Research Center
danika-pritchard
Automated AssumeGuarantee Reasoning by Abstraction Renement Mihaela Gheorghiu Bobaru
danika-pritchard
AssumeGuarantee Reasoning for Hierarchical Hybrid Systems Thomas A
natalia-silvester
Hierarchical Cache Coherence Protocol erication One Le el at ime Through AssumeGuarantee
lois-ondreau
Hierarchical Cache Coherence Protocol erication One Le el at ime Through AssumeGuarantee
tatyana-admore
CSL Technical Report September Formal Verication of McMillans Compositional AssumeGuarantee
tatyana-admore