• English
    • Latviešu
    • Deutsch
    • русский
  • Help
  • Latviešu 
    • English
    • Latviešu
    • Deutsch
    • русский
  • Login
View Item 
  •   DSpace Home
  • B4 – LU fakultātes / Faculties of the UL
  • A -- Eksakto zinātņu un tehnoloģiju fakultāte / Faculty of Science and Technology
  • Bakalaura un maģistra darbi (EZTF) / Bachelor's and Master's theses
  • View Item
  •   DSpace Home
  • B4 – LU fakultātes / Faculties of the UL
  • A -- Eksakto zinātņu un tehnoloģiju fakultāte / Faculty of Science and Technology
  • Bakalaura un maģistra darbi (EZTF) / Bachelor's and Master's theses
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Programmas koda matemātiskā verifikacija

Thumbnail
View/Open
302-103948-Ciruks_Dmitrijs_dc19038.pdf (361.3Kb)
Author
Ciruks, Dmitrijs
Co-author
Latvijas Universitāte. Eksakto zinātņu un tehnoloģiju fakultāte
Advisor
Strautiņš, Uldis
Date
2024
Metadata
Show full item record
Abstract
Darbs ir veltīts Edsgera Deikstras izstrādātās formālās matemātiskās pieejas programmatūras koda verifikācijas izpētei. Darbā tiek izklāstīta Deikstras formālā sistēma, pamatteorēmu pierādījumi un daudzi praktiski piemēri formālās verifikācijas pielietojumam reālā programmēšanas kodā. Tiek demonstrēti arī daži interesanti novērojumi un aspekti algoritmu un programmēšanas konstrukciju izstrādē, kas ved uz loģiski labākām konstrukcijām.
 
The research is dedicated to the study of Edsger Dijkstra's formal mathematical approach to software code verification. The paper presents Dijkstra's formal system, proofs of fundamental theorems, and numerous practical examples of applying formal verification to real programming code. Some interesting observations and aspects of algorithm and program construction leading to more efficient logical constructions are also demonstrated.
 
URI
https://dspace.lu.lv/dspace/handle/7/68120
Collections
  • Bakalaura un maģistra darbi (EZTF) / Bachelor's and Master's theses [6025]

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

View Usage Statistics

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV