Model checking the world wide web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2102, Issue , 2001, Pages 337-349

  de Alfaro, Luca ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER AIDED ANALYSIS; ERRORS; TEMPORAL LOGIC; WEBSITES; WORLD WIDE WEB;

ERROR-PRONE PROCESS; EXPRESSIVE POWER; KRIPKE STRUCTURE; MODEL CHECKING ALGORITHM; MODEL-CHECKING TECHNIQUES; POINT CALCULUS; SOFTWARE SYSTEMS; SYSTEM MODELS;

MODEL CHECKING;

EID: 84958764557     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44585-4_31     Document Type: Conference Paper

References (22)

1. G. Bhat and R. Cleaveland. Efficient model checking via the equational μ-calculus. In Proc. 11th IEEE Symp. Logic in Comp. Sci., pages 304-312, 1996.
2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Proc. 5th IEEE Symp. Logic in Comp. Sci., pages 428-439. IEEE Computer Society Press, 1990.
3. J.R. Burch, K.L. McMillan, E.M. Clarkes, and D.L. Dill. Sequential circuit verification using symbolic model checking. In Proc. of the 27th ACM/IEEE Design Automation Conference, pages 46-51, Orlando, FL, USA, June 1990.
4. E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, volume 131 of Lect. Notes in Comp. Sci., pages 52-71. Springer-Verlag, 1981.
5. Electronic Software Publishing Co. Linkscan. http://www.elsop.com/linkscan/.
6. Watchfire Co. Linkbot. http://www.watchfire.com/products/linkbot.htm.
7. R.T. Fielding. Maintaiing distributed hypertext infostructures: Welcome to MOMspider’s web. In Proceedings of First Intl. Conference on the World-Wide Web (WWW 94), 1994.
8. Voget Selbach Enterprises GmbH. Link tester. http://vse-online.com/link-tester/.
9. Tilman Hausherr. Link sleuth. http://home.snafu.de/tilman/xenulink.html.
10. T.A. Henzinger, O. Kupferman, and S. Qadeer. From prehistoric to postmodern symbolic model checking. In A.J. Hu and M.Y. Vardi, editors, CAV 98: Computer-aided Verification, Lecture Notes in Computer Science 1427, pages 195-206. Springer-Verlag, 1998.
11. Biggbyte Software Inc. Infolink. http://www.biggbyte.com/infolink/index.html.
12. Link Alarm Inc. Link alarm. http://www.linkalarm.com/.
13. NetMechanic Inc. Html toolbox. http://www.netmechanic.com/.
14. InContext. Web analyzer 2.0. http://www.incontext.com/WAinfo.html.
15. D. Kozen. Results on the propositional μ-calculus. Theoretical Computer Science, 27(3):333-354, 1983.
16. C. Musciano and B. Kennedy. HTML: The Definitive Guide. O’Reilly & Associates, Inc., 1998. Third Edition.
17. J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proc. 5th International Symposium on Programming, volume 137 of Lect. Notes in Comp. Sci., pages 337-351. Springer-Verlag, 1981.
18. D. Raggett, A. Le Hors, and I. Jacobs. HTML 4.01 specification, 1999. W3C Recommendation 24 December 1999.
19. Internet Software Services. Theseus. http://www.matterform.com/theseus/.
20. IXActa Visual Software. Ixsite web analyzer. http://ixacta.com/products/ixsite/.
21. DACPro Computer Solutions. Webtester.http://awsd.com/scripts/webtester/.
22. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 25(2):285-309, 1955.