References


The following references describe our work towards the development of SpinRCP:

  1. Brezočnik, Z., Vlaovič, B., Vreže, A.: SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker. In: Rungta, N., Tkachuk, O. (eds.) SPIN 2014 Proceedings of the 2014 International SPIN Symposium on Model Checking of Software, San Jose, CA, USA, July 21-23 (2014), pp. 125-128. Electronic version available at http://dl.acm.org/citation.cfm?id=2632380
    »  E X P O R T   C I T A T I O N  
    [  RIS format  |  BibTeX  |  Plain text  ]
  2. Brezočnik, Z., Vlaovič, B., Vreže, A.: Model Checking using Spin and SpinRCP. Informacije MIDEM, Journal of Microelectronics, Electronic Components and Materials, vol. 43, no. 4, pp. 235–248, (2013). Electronic version available at http://www.midem-drustvo.si/Journal%20papers/MIDEM_43%282013%294p235.pdf
    »  E X P O R T   C I T A T I O N  
    [  RIS format  |  BibTeX  |  Plain text  ]
  3. Kovše, T.: Environment for formal verification of safety-critical systems, Master Thesis (in Slovene), Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia (2011). Electronic version available at https://dk.um.si/IzpisGradiva.php?id=19864&lang=eng
    »  E X P O R T   C I T A T I O N  
    [  RIS format  |  BibTeX  |  Plain text  ]
  4. Kovše, T., Vlaovič, B., Vreže, A., Brezočnik, Z.: Eclipse Plug-In for Spin and st2msc Tools - Tool Presentation. In: Păsăreanu, C.S. (ed.) SPIN 2009. LNCS, vol. 5578, pp. 143–147. Springer, Heidelberg (2009). Electronic version available at http://spinroot.com/spin/Workshops/ws09/Kovse.pdf
    »  E X P O R T   C I T A T I O N  
    [  RIS format  |  BibTeX  |  Plain text  ]
  5. Kovše, T., Vlaovič, B., Vreže, A., Brezočnik, Z.: Spin Trail to a Message Sequence Chart Conversion Tool. In: Podnar Žarko, I., Vrdoljak, B. (eds.) ConTEL 2009, Proceedings of the 10th International Conference on Telecommunications, Zagreb, Croatia, June 8–10 (2009). Electronic version available at http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5206368&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5206368
    »  E X P O R T   C I T A T I O N  
    [  RIS format  |  BibTeX  |  Plain text  ]
  6. Kovše, T.: Integration of Spin Tool into Development Environment Eclipse. Diploma Work (in Slovene), Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia (2008). Electronic version available at https://dk.um.si/IzpisGradiva.php?id=9217&lang=eng
    »  E X P O R T   C I T A T I O N  
    [  RIS format  |  BibTeX  |  Plain text  ]


Some of our other related references:

  1. Meolic, R., Brezočnik, Z.: Flexible job shop scheduling using zero-suppressed binary decision diagrams. Advances in production engineering & management, vol. 13, no. 4, pp. 373-388 (2018). Electronic version available at http://apem-journal.org/Archives/2018/Abstract-APEM13-4_373-388.html
  2. Vlaovič, B., Vreže, A., Brezočnik, Z.: Applying automated model extraction for simulation and verification of real-life SDL specification with spin. IEEE Access, vol. 5, pp. 5046-5058 (2017). Electronic version available at https://ieeexplore.ieee.org/document/7883829.
  3. Vreže, A., Vlaovič, B., Brezočnik, Z.: Sdl2pml – tool for automated generation of Promela model from SDL specification. Computer Standards and Interfaces, vol. 31, no. 4, pp. 779–786 (2009)
  4. Meolic, R., Kapus, T., Brezočnik, Z.: ACTLW – an action-based computation tree logic with unless operator. Information sciences, vol. 178, no. 6, pp. 1542–1557 (2008). Abstract available at http://dx.doi.org/10.1016/j.ins.2007.10.023.
  5. Vlaovič, B., Vreže, A., Brezočnik, Z., Kapus, T.: Automated generation of Promela model from SDL specification. Computer Standards and Interfaces, vol. 29, no. 4, pp. 449–461 (2007)
  6. Vlaovič, B., Vreže, A., Brezočnik, Z., Kapus, T.: Verification of an SDL specification – a case study = Primer verifikacije specifikacije v jeziku SDL. Elektrotehniški vestnik, vol. 72, no. 1, pp. 14–21 (2005)
  7. Meolic, R., Kapus, T., Dugonik, B., Brezočnik, Z.: Formal verification of distributed mutual-exclusion circuits. Informacije MIDEM, 2003, vol. 33, no. 3(107), pp. 157-169 (2003)
  8. Časar, A., Brezočnik, Z., Kapus, T.: Exploiting symbolic model checking for sensing stuck-at faults in digital circuits. Informacije MIDEM, vol. 32, no. 3, pp. 171-180 (2002)
  9. Časar, A., Brezočnik, Z., Kapus, T.: Formal verification of digital circuits using symbolic model checking. Informacije MIDEM, vol. 30, no. 3, pp. 153-160 (2000)
  10. Kapus, T., Brezočnik, Z.: Verification of XTP context management closing procedure in style of TLA. Science of computer programming, 1997, vol. 29, no. 1/2, pp. 23-52 (1997)

SpinRCP - An Integrated Development Environment for the Spin Model Checker.