Article

You Assume, We Guarantee: Methodology and Case Studies

Authors:

Thomas A. Henzinger,

Shaz Qadeer,

Sriram K. RajamaniAuthors Info & Claims

CAV '98: Proceedings of the 10th International Conference on Computer Aided Verification

Pages 440 - 451

Published: 28 June 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Tripakis SLimaye RRavindran KWang GAndrade HGhosal A(2016)Tokens vs. SignalsJournal of Signal Processing Systems10.1007/s11265-015-0971-y85:1(23-43)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1007/s11265-015-0971-y
Bensalem SBozga MLegay ANguyen TSifakis JYan R(2016)Component-based verification using incremental design and invariantsSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0410-815:2(427-451)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0410-8
Gui LSun JLiu YDong JYoung MXie T(2015)Reliability assessment for distributed systems via communication abstraction and refinementProceedings of the 2015 International Symposium on Software Testing and Analysis10.1145/2771783.2771794(293-304)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1145/2771783.2771794
Show More Cited By

Recommendations

QoS guarantee for multimedia traffic in smart homes

With the advent of home networking and widespread deployment of broadband connectivity to homes, a wealth of new services with real-time Quality of Service (QoS) requirements have emerged, e.g., Video on Demand (VoD), IP Telephony, which have to co-...
The design of QoS guarantee network subsystem

The current Internet service model treats all requests equivalently, there are great need of Quality of Service guarantee for real-time traffic. The paper covers two QoS guarantee methods: Integrated Service and Differentiated Service, and discusses its ...
Per-domain packet scale rate guarantee for expedited forwarding

The expedited forwarding per-hop behavior (EF PHB) was recently replaced by a new definition, called packet scale rate guarantee (PSRG), under the Differentiated Services (DiffServ) framework. This replacement raises two challenges. One is the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CAV '98: Proceedings of the 10th International Conference on Computer Aided Verification

June 1998

550 pages

ISBN:3540646086

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 28 June 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

47
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tripakis SLimaye RRavindran KWang GAndrade HGhosal A(2016)Tokens vs. SignalsJournal of Signal Processing Systems10.1007/s11265-015-0971-y85:1(23-43)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1007/s11265-015-0971-y
Bensalem SBozga MLegay ANguyen TSifakis JYan R(2016)Component-based verification using incremental design and invariantsSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0410-815:2(427-451)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0410-8
Gui LSun JLiu YDong JYoung MXie T(2015)Reliability assessment for distributed systems via communication abstraction and refinementProceedings of the 2015 International Symposium on Software Testing and Analysis10.1145/2771783.2771794(293-304)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1145/2771783.2771794
Lin SSun JNguyen TLiu YDong JCohen MGrunske LWhalen M(2015)Interpolation guided compositional verificationProceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2015.33(65-74)Online publication date: 9-Nov-2015
https://dl.acm.org/doi/10.1109/ASE.2015.33
Zheng HRungta NTkachuk O(2014)Local state space construction for compositional verification of concurrent systemsProceedings of the 2014 International SPIN Symposium on Model Checking of Software10.1145/2632362.2632366(11-19)Online publication date: 21-Jul-2014
https://dl.acm.org/doi/10.1145/2632362.2632366
Lin SHsiung P(2014)Compositional Synthesis of Concurrent Systems through Causal Model Checking and LearningProceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 844210.1007/978-3-319-06410-9_29(416-431)Online publication date: 12-May-2014
https://dl.acm.org/doi/10.1007/978-3-319-06410-9_29
Harel DKantor AKatz GMarron AMizrahi LWeiss GErnst RSokolsky O(2013)On composing and proving the correctness of reactive behaviorProceedings of the Eleventh ACM International Conference on Embedded Software10.5555/2555754.2555767(1-10)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.5555/2555754.2555767
Bensalem SLegay ABozga M(2013)Rigorous embedded designInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-013-0271-415:3(149-154)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1007/s10009-013-0271-4
Beyer DHenzinger TKeremoglu MWendler PTracz WRobillard MBultan T(2012)Conditional model checkingProceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering10.1145/2393596.2393664(1-11)Online publication date: 11-Nov-2012
https://dl.acm.org/doi/10.1145/2393596.2393664
Zheng HRodriguez EZhang YMyers C(2012)A compositional minimization approach for large asynchronous design verificationProceedings of the 19th international conference on Model Checking Software10.1007/978-3-642-31759-0_7(62-79)Online publication date: 23-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31759-0_7
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

QoS guarantee for multimedia traffic in smart homes

The design of QoS guarantee network subsystem

Per-domain packet scale rate guarantee for expedited forwarding

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations