Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Proceedings of the Institute for System Programming of the RAS, 2021, Volume 33, Issue 6, Pages 7–14
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-1 (Mi tisp642) 		 
Capabilities and restrictions of software model checkers

E. M. Novikov

Ivannikov Institute for System Programming of the RAS
Full-text PDF (864 kB)
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-1
Abstract: Software model checkers enable automatic detection of violations of specified requirements in programs as well as formal proof of correctness under certain assumptions. These tools actively evolve two last decades. They were already successfully applied to a bunch of industrial projects, first of all to kernels and drivers of various operating systems. This paper considers an interface of software model checkers, their unique capabilities as well as restrictions that prevent their large-scale usage on practice.
Keywords: software model checking, formal verification, requirements specification, violation witness.
Document Type: Article
Language: Russian
Citation: E. M. Novikov, “Capabilities and restrictions of software model checkers”, Proceedings of ISP RAS, 33:6 (2021), 7–14
Citation in format AMSBIB
\Bibitem{Nov21}
\by E.~M.~Novikov
\paper Capabilities and restrictions of software model checkers
\jour Proceedings of ISP RAS
\yr 2021
\vol 33
\issue 6
\pages 7--14
\mathnet{http://mi.mathnet.ru/tisp642}
\crossref{https://doi.org/10.15514/ISPRAS-2021-33(6)-1}
Linking options:
  • https://www.mathnet.ru/eng/tisp642
  • https://www.mathnet.ru/eng/tisp/v33/i6/p7
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Proceedings of the Institute for System Programming of the RAS
    Statistics & downloads:
    Abstract page:14
    Full-text PDF :11
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024