FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2777984949> ?p ?o ?g. }

• W2777984949 abstract "Abstract Society is becoming increasingly dependent on software which results in an increasing cost of software malfunction. At the same time, software is getting increasingly complex and testing and verification are becoming harder and harder. Software model checking is a set of techniques to automatically check properties in a model of the software. The properties can be written in specialized languages or be embedded in software in the form of exceptions or assertions. The model can be explicitly provided in a specification language, can be derived from the software system, or the software system itself can be used as a model. Software model checkers check the given properties in a large number of states of the model. If a model checker is able to verify a property on all model states, it is proven that the property holds and the model checker works like a theorem prover. If a model checker is unable to verify a property on all model states, the model checker is still an efficient automated testing technique. This chapter discusses advances in software model checking and focuses on techniques that use the software as its model and embedded exceptions or assertions as the properties to be verified. Such techniques are most likely to be widespread in the software industry in the coming decade due to their minimal overhead on the programmer and due to recent advances in research making these techniques scale." @default.
• W2777984949 created "2018-01-05" @default.
• W2777984949 creator A5000414105 @default.
• W2777984949 creator A5038861217 @default.
• W2777984949 creator A5064068884 @default.
• W2777984949 date "2018-01-01" @default.
• W2777984949 modified "2023-09-23" @default.
• W2777984949 title "Advances in Software Model Checking" @default.
• W2777984949 cites W107427404 @default.
• W2777984949 cites W142308502 @default.
• W2777984949 cites W1480909796 @default.
• W2777984949 cites W1492584664 @default.
• W2777984949 cites W1493367105 @default.
• W2777984949 cites W1497571013 @default.
• W2777984949 cites W1501456447 @default.
• W2777984949 cites W1505732339 @default.
• W2777984949 cites W1514703713 @default.
• W2777984949 cites W1518705996 @default.
• W2777984949 cites W1548312885 @default.
• W2777984949 cites W1548575501 @default.
• W2777984949 cites W1568729458 @default.
• W2777984949 cites W157156687 @default.
• W2777984949 cites W1577404745 @default.
• W2777984949 cites W1593025666 @default.
• W2777984949 cites W1596018922 @default.
• W2777984949 cites W1710734607 @default.
• W2777984949 cites W1720848645 @default.
• W2777984949 cites W1728798265 @default.
• W2777984949 cites W1777881387 @default.
• W2777984949 cites W1784567382 @default.
• W2777984949 cites W1856462361 @default.
• W2777984949 cites W1895387792 @default.
• W2777984949 cites W196342399 @default.
• W2777984949 cites W1966982815 @default.
• W2777984949 cites W1974157571 @default.
• W2777984949 cites W1984478483 @default.
• W2777984949 cites W1990880047 @default.
• W2777984949 cites W1999288406 @default.
• W2777984949 cites W2001698600 @default.
• W2777984949 cites W2006553351 @default.
• W2777984949 cites W2009489720 @default.
• W2777984949 cites W2009966597 @default.
• W2777984949 cites W2029912316 @default.
• W2777984949 cites W2041209185 @default.
• W2777984949 cites W2043562807 @default.
• W2777984949 cites W2047694629 @default.
• W2777984949 cites W2050886219 @default.
• W2777984949 cites W2062200967 @default.
• W2777984949 cites W2065675749 @default.
• W2777984949 cites W2066353350 @default.
• W2777984949 cites W2072366534 @default.
• W2777984949 cites W2075573771 @default.
• W2777984949 cites W2076933173 @default.
• W2777984949 cites W207759855 @default.
• W2777984949 cites W2082000355 @default.
• W2777984949 cites W2084974764 @default.
• W2777984949 cites W2091879780 @default.
• W2777984949 cites W2096449544 @default.
• W2777984949 cites W2099978979 @default.
• W2777984949 cites W2101512909 @default.
• W2777984949 cites W2104993088 @default.
• W2777984949 cites W2105614525 @default.
• W2777984949 cites W2105983962 @default.
• W2777984949 cites W2106892818 @default.
• W2777984949 cites W2106901380 @default.
• W2777984949 cites W2108408848 @default.
• W2777984949 cites W2109276114 @default.
• W2777984949 cites W2112018610 @default.
• W2777984949 cites W2113531724 @default.
• W2777984949 cites W2114402335 @default.
• W2777984949 cites W2115273016 @default.
• W2777984949 cites W2115309705 @default.
• W2777984949 cites W2117058582 @default.
• W2777984949 cites W2124877509 @default.
• W2777984949 cites W2126160338 @default.
• W2777984949 cites W2129538349 @default.
• W2777984949 cites W2129614355 @default.
• W2777984949 cites W2131195907 @default.
• W2777984949 cites W2132897303 @default.
• W2777984949 cites W2133612077 @default.
• W2777984949 cites W2135948849 @default.
• W2777984949 cites W2136579066 @default.
• W2777984949 cites W2141018153 @default.
• W2777984949 cites W2141656264 @default.
• W2777984949 cites W2147874879 @default.
• W2777984949 cites W2148821745 @default.
• W2777984949 cites W2151917516 @default.
• W2777984949 cites W2152565783 @default.
• W2777984949 cites W2153822668 @default.
• W2777984949 cites W2156191262 @default.
• W2777984949 cites W2158395308 @default.
• W2777984949 cites W2158798798 @default.
• W2777984949 cites W2161253570 @default.
• W2777984949 cites W2167818871 @default.
• W2777984949 cites W2168498016 @default.
• W2777984949 cites W2169063148 @default.
• W2777984949 cites W2169870841 @default.
• W2777984949 cites W2170701417 @default.
• W2777984949 cites W2171480813 @default.
• W2777984949 cites W2171999426 @default.

• next