RETRACTED: A Case for Model Checking

Dong Zhang

doi:10.4028/www.scientific.net/AMM.644-650.2342

Paper Titles

Review on Semantic Text Categorization
p.2323

An Effective Algorithm for Mining Forum Users Association Rules
p.2329

Data Dispersal for Large Storage Systems
p.2334

Research on the Model and Algorithm for the Vehicle Scheduling in Pooling Pallet Distribution
p.2338

RETRACTED: A Case for Model Checking
p.2342

RETRACTED: Deconstructing Redundancy Using PilousGnu
p.2346

The Study of Knowledge Pushing Technology Based on the Knowledge Context
p.2350

Application Research on the Geographical Survey Spatial Database and its Key Technology
p.2355

A Method of Multi-View Images 3D Restructuring of Discrete Line Segments
p.2359

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 644-650RETRACTED: A Case for Model Checking

RETRACTED: A Case for Model Checking

Retracted:

This paper has been retracted by publisher.
This paper was found to be in violation of the scope and quality criteria. The document is now considered retracted. Due to strong violation, necessary effort should be made to remove all further references to this paper.
We regret any inconvenience this publication might cause you.

Abstract:

Retracted paper: In recent years, much research has been devoted to the exploration of write-back caches; however, few have studied the practical unification of local-area networks and Lamport clocks. Given the current status of atomic information, cryptographers clearly desire the exploration of the lookaside buffer. We describe new stable algorithms, which we call Rig .

By email View Pdf

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 644-650)

Pages:

2342-2345

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.644-650.2342

Online since:

September 2014

Authors:

Dong Zhang*

Keywords:

Median Bandwidth, RAID, Rig

Export:

RIS, BibTeX

Permissions:

Creative Commons CC BY 4.0

Citation:

* - Corresponding Author

References

[1] R. Gerth, D. Peled, M. Vardi, and P. Wolper, Simple On-The-Fly Automatic Verification of Linear Temporal Logic,, Proceedings of the Conference On Protocol Specijkation, Testing, and Verijkation, 3-18, Warsaw, Poland, 1995, Chapman and Hall.

DOI: 10.1007/978-0-387-34892-6_1

Google Scholar

[2] K. Etessami, G. J. Holmann, Optimizing Buchi Automata,, Proceedings of the 11 th International Conference on Concurrency Theory, CONCUR 2000, August (2000).

Google Scholar

[3] E. M. Clarke, 0. Grumberg, and D. A. Peled, Model Checking, MIT Press, January 2000. [8] G. J. Holzmann, The Model Checker Spin,, ZEEE Transcripts on Sofiare Engineering, Vol. 23, No. 5, 279- 295, May (1997).

Google Scholar

[4] G. J. Holzmann, and M. H. Smith, Software Model Checking - Extracting Verification Models from Source Code,, Formal Methods for Protocol Engineering and Distributed Svstems, 481-497, Kluwer Academic Publishing, October (1999).

DOI: 10.1007/978-0-387-35578-8_28

Google Scholar

[5] G. J. Holzmann and D. Peled, An Improvement in Formal Verification,, Proceedings Formal Description Technique 197-21 I, Chapman Hall, Berne, Switzerland, October (1994).

Google Scholar

[6] G. J. Holzmann and A. hi, A Minimized Automaton Representation of Reachable State,, Sofhyare Tools for Technology Transfer, Vol. 2 and 3, 270-278, Springer Verlag, November (1999).

DOI: 10.1007/s100090050034

Google Scholar

[7] G. J. Holzmann, and M. H. Smith, Automating Software Feature Verification,, Bell Labs Technical Joumal, Special Issue on Sofhyare Complexity, April (2000).

DOI: 10.1002/bltj.2223

Google Scholar