Alternate document:   Details   Space-Reduction Strategies for Model Checking Dynamic Software (03) Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif

See this document in CiteSeerX!

Space Reductions for Model Checking Quasi-Cyclic Systems (2003)  (Make Corrections)  (5 citations)
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff



  Home/Search   Context   Related

 
View or download:
ksu.edu/docman/vie...AnToSTR20034.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  ksu.edu/~hatcliff/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief obstacle to its broad acceptance. One strategy for making further progress is to exploit characteristics of classes of systems to develop domain-specific reductions. (Update)

Cited by:   More
Analyzing Interaction Orderings with Model Checking - Matthew Dwyer Robby   (Correct)
Exploiting Object Escape and Locking Information in.. - Dwyer, Hatcliff.. (2004)   (Correct)
Bogor: An Extensible and Highly-Modular Software Model.. - Robby, Dwyer, Hatcliff (2003)   (Correct)

Active bibliography (related documents):   More   All
0.6:   Space-Reduction Strategies for Model Checking Dynamic.. - Robby, Dwyer, Hatcliff.. (2003)   (Correct)
0.6:   Model-checking Middleware-based Event-driven.. - Deng, Dwyer.. (2003)   (Correct)
0.1:   Five Ways to Use Induction and Symmetry in the Verification.. - Calder, Miller (2002)   (Correct)

Similar documents based on text:   More   All
0.3:   Invariant-based Specification, Synthesis, and.. - Deng, Dwyer.. (2001)   (Correct)
0.3:   Supporting Model-driven Development of.. - Childs, Deng.. (2003)   (Correct)
0.3:   A Language Framework For Expressing Checkable.. - Corbett, Dwyer.. (2000)   (Correct)

Related documents from co-citation:   More   All
5:   Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer et al. - 2000
5:   IEEE Transactions on Software Engineering (context) - Holzmann, Checker - 1997
4:   Model checking programs - Visser, Havelund et al. - 2000

BibTeX entry:   (Update)

Matthew B. Dwyer, Robby, Xianghua Deng, and John Hatcli#. Space reductions for model checking quasi-cyclic systems. In Rajeev Alur and Insup Lee, editors, EMSOFT 2003. http://citeseer.ist.psu.edu/dwyer03space.html   More

@misc{ dwyer03space,
  author = "M. Dwyer and R. Xianghua and D. John",
  title = "Space reductions for model checking quasi-cyclic systems",
  text = "Matthew B. Dwyer, Robby, Xianghua Deng, and John Hatcli#. Space reductions
    for model checking quasi-cyclic systems. In Rajeev Alur and Insup Lee, editors,
    EMSOFT 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/dwyer03space.html" }
Citations (may not include all citations):
828   Model Checking - Clarke, Grumberg et al. - 2000
375   IEEE Transactions on Software Engineering (context) - Holzmann, checker - 1997
123   Model-checking for programming languages using VeriSoft - Godefroid - 1997
88   Lazy abstraction - Henzinger, Jhala et al. - 2002
50   State-space caching revisited - Godefroid, Holzmann et al. - 1993
49   Reducing avionics software cost through component based prod.. (context) - Sharp - 1998
41   The Cleanroom Approach to Quality Software Development (context) - Dyer - 1992
15   and verification environment for component-based systems (context) - Hatcli, Deng et al. - 2003
9   Bogor: An extensible and highly-modular model checking frame.. (context) - Robby, Dwyer - 2003
7   Symmetric spin - Bosnacki, Dams et al. - 2002
6   Optimizing symbolic model checking for statecharts (context) - Chan, Anderson et al. - 2001
6   Symmetry reduction criteria for software model checking (context) - Iosif - 2002
5   Model-checking middlewarebased event-driven real-time embedd.. - Deng, Dwyer et al. - 2002



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.cis.ksu.edu/~hatcliff/):   More
Bandera: Extracting Finite-state Models from Java.. - Corbett, Dwyer.. (2000)   (Correct)
Expressing Checkable Properties of Dynamic Systems: The.. - Corbett, Dwyer, Hatcliff (2001)   (Correct)
Using the Bandera Tool Set to Model-check Properties of.. - Hatcliff, Dwyer (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC