Formal verification of logical link control and adaptation protocol

Proceedings of the Mediterranean Electrotechnical Conference - MELECON

Volumn 2, Issue , 2004, Pages 583-586

  Pek, Edgar ^a   Bogunović, Nikola ^a  

^a UNIVERSITY OF ZAGREB   (Croatia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONTROL THEORY; EMBEDDED SYSTEMS; MULTIPLEXING; NETWORK PROTOCOLS; PACKET NETWORKS; PROBLEM SOLVING; SEMANTICS; WIRELESS TELECOMMUNICATION SYSTEMS;

BASEBAND PROTOCOLS; BLUETOOTH; LINEAR TEMPORAL LOGIC (LTL); LOGICAL LINK CONTROL AND ADAPTATION PROTOCOL (L2CAP);

TELECOMMUNICATION LINKS;

EID: 8744272121     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. "Specification of the Bluetooth System, Version 1.1," May 2001. [Online], Available: http://www.bluetooth.com
2. F. Wang and F. Yu, "OVL assertation-checking of embedded softwares with dense-time semantics," Institute of Information Science, Academia Sinica, Tech. Rep. TR-IIS-02-010, 2002.
3. F. Wang, G.-D. Hwang, and F. Yu, "Numerical coverage estimation for the symbolic simulation of real-time systems," 2003. [Online]. Available: http://arXiv.org/abs/cs/0303027
4. R. Cavada, A. Cimatti, E. Olivetti, M. Pistore, and M. Roveri, NuSMV 2.1 User Manual, 2002. [Online]. Available: http: //nusmv.irst.itc.it/NuSMV/userman/ v21/nusmv.pdf
5. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. New York, N.Y.: Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990, vol. B: Formal Models and Semantics, ch. 14, pp. 996-1072.
6. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, Massachusetts: The MIT Press, 1999.
7. M. R. A. Huth and M. D. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge, England: Cambridge University Press, 2000.
8. K. McMillan, The SMV system, 1992 (2001). [Online]. Available: http://http://www-2.cs.cmu.edu/~modelcheck/smv.html
9. A. S. Tanenbaum, Computer Networks. Prentice-Hall International, Inc., 1996, ISBN: 0-13-394248-1.
10. A. Biere and A. Kick, "A case study on different modelling approaches based on model checking - verifying numerous versions of the alternating bit protocol with SMV." Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, Technical Report iratr-1995-5, 1995.
11. V. G. Naik and A. P. Sistla, "Modeling and verification of real life protocol using symbolic model checking," in Proceedings of the sixth International Conference on Computer-Aided Verification CAV, ser. Lecture Notes in Computer Science, David L. Dill, Ed., vol. 818. Stanford, California, USA: Springer-Verlag, June 1994, pp. 194-206.