Article

Partition Refinement in Real-Time Model Checking

Authors:

R. F. Lutje Spelberg,

Hans Toetenel,

Marcel AmmerlaanAuthors Info & Claims

FTRTFT '98: Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

Pages 143 - 157

Published: 14 September 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Song LZhang LHermanns HGodskesen J(2014)Incremental Bisimulation Abstraction RefinementACM Transactions on Embedded Computing Systems10.1145/262735213:4s(1-23)Online publication date: 28-Jul-2014
https://dl.acm.org/doi/10.1145/2627352
Dierks HTapken J(2003)Moby/DC - a tool for model-checking parametric real-time specificationsProceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems10.5555/1765871.1765896(271-277)Online publication date: 7-Apr-2003
https://dl.acm.org/doi/10.5555/1765871.1765896
Jeannet B(2003)Dynamic Partitioning in Linear Relation AnalysisFormal Methods in System Design10.1023/A:102448091316223:1(5-37)Online publication date: 1-Jul-2003
https://dl.acm.org/doi/10.1023/A%3A1024480913162
Show More Cited By

Partition Refinement in Real-Time Model Checking

Recommendations

Partition Refinement in Abstract Model Checking
TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering

Model checking has been successfully applied to system verification. However, in model checking, the state explosion problem occurs when one checks systems of industrial size. Abstraction-based methods have been particularly successful in this regard. ...
On the limits of refinement-testing for model-checking CSP
Abstract
Refinement-checking, as embodied in tools like FDR, PAT and ProB, is a popular approach for model-checking refinement-closed predicates of CSP processes. We consider the limits of this approach to model-checking these kinds of predicates. By ...
Abstraction refinement for bounded model checking
CAV'05: Proceedings of the 17th international conference on Computer Aided Verification

Counterexample-Guided Abstraction Refinement (cegar) techniques have been very successful in model checking large systems. While most previous work has focused on model checking, this paper presents a Counterexample-Guided abstraction refinement ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FTRTFT '98: Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

September 1998

338 pages

ISBN:3540650032

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 14 September 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Song LZhang LHermanns HGodskesen J(2014)Incremental Bisimulation Abstraction RefinementACM Transactions on Embedded Computing Systems10.1145/262735213:4s(1-23)Online publication date: 28-Jul-2014
https://dl.acm.org/doi/10.1145/2627352
Dierks HTapken J(2003)Moby/DC - a tool for model-checking parametric real-time specificationsProceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems10.5555/1765871.1765896(271-277)Online publication date: 7-Apr-2003
https://dl.acm.org/doi/10.5555/1765871.1765896
Jeannet B(2003)Dynamic Partitioning in Linear Relation AnalysisFormal Methods in System Design10.1023/A:102448091316223:1(5-37)Online publication date: 1-Jul-2003
https://dl.acm.org/doi/10.1023/A%3A1024480913162
Lutje Spelberg RToetenel W(2001)Parametric real-time model checking using splitting treesNordic Journal of Computing10.5555/774194.7742008:1(88-120)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.5555/774194.774200
Tripakis SYovine S(2001)Analysis of Timed Systems Using Time-Abstracting BisimulationsFormal Methods in System Design10.1023/A:100873470355418:1(25-68)Online publication date: 1-Jan-2001
https://dl.acm.org/doi/10.1023/A%3A1008734703554

Abstract

Cited By

Recommendations

Partition Refinement in Abstract Model Checking

On the limits of refinement-testing for model-checking CSP

Abstraction refinement for bounded model checking

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations