EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"software verification models"
Narrow search

Narrow search

Year of publication
Subject
All
software verification 2 software verification models 2 software verification platforms 2 IT law 1 IT-Recht 1 Software 1 Software development 1 Software industry 1 Softwareentwicklung 1 Softwareindustrie 1
more ... less ...
Online availability
All
Free 2
Type of publication
All
Article 2
Type of publication (narrower categories)
All
Article 1 Article in journal 1 Aufsatz in Zeitschrift 1
Language
All
English 2
Author
All
Goracinova-Ilieva, Lidija 2 Sitnikovski, Boro 2 Stojcevska, Biljana 2
Published in...
All
UTMS Journal of Economics 1 UTMS journal of economics / University of Tourism and Management : international, multidisciplinary journal for the area of south and southeastern Europe 1
Source
All
ECONIS (ZBW) 1 EconStor 1
Showing 1 - 2 of 2
Cover Image
Models for software verification: Proving program correctness
Sitnikovski, Boro; Goracinova-Ilieva, Lidija; … - In: UTMS Journal of Economics 12 (2021) 1, pp. 32-39
The accuracy of computer systems represents the property that they are working as the users expect. Very often, these computer systems give inaccurate or wrong results. However, designing correct computer systems is a complex and expensive task. There are several ways to deal with this problem....
Persistent link: https://www.econbiz.de/10014465778
Saved in:
Cover Image
Models for software verification : proving program correctness
Sitnikovski, Boro; Goracinova-Ilieva, Lidija; … - In: UTMS journal of economics / University of Tourism and … 12 (2021) 1, pp. 32-39
The accuracy of computer systems represents the property that they are working as the users expect. Very often, these computer systems give inaccurate or wrong results. However, designing correct computer systems is a complex and expensive task. There are several ways to deal with this problem....
Persistent link: https://www.econbiz.de/10012588807
Saved in:
A service of the
zbw
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...