FRINK Linked Data Fragments server

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

• W1499937701 endingPage "174" @default.
• W1499937701 startingPage "170" @default.
• W1499937701 abstract "This paper presents Yasm: a (yet another) software model-checker based on the Counter-Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of well-engineered software model-checkers are available, e.g., Slam [1] and Blast [12]. Why build another one? Traditional software model-checkers build over-approximating abstractions of the programs they analyze and typically bias their analysis towards proving that a (safety) property of interest holds (verification). On the other hand, since model-checkers are widely known for their bug-finding abilities, they are often used for refutation. In this case, the above approach seems unreasonable: why introduce spurious behaviour and make it more difficult to find a real bug? For such circumstances, one would just want to prove that the property is false (refutation). No witness for that is required." @default.
• W1499937701 created "2016-06-24" @default.
• W1499937701 creator A5046834577 @default.
• W1499937701 creator A5079431306 @default.
• W1499937701 creator A5084652886 @default.
• W1499937701 date "2006-01-01" @default.
• W1499937701 modified "2023-10-17" @default.
• W1499937701 title "Yasm: A Software Model-Checker for Verification and Refutation" @default.
• W1499937701 cites W1502122036 @default.
• W1499937701 cites W1507173517 @default.
• W1499937701 cites W1515278398 @default.
• W1499937701 cites W1520816873 @default.
• W1499937701 cites W1527925700 @default.
• W1499937701 cites W1549312786 @default.
• W1499937701 cites W1559445291 @default.
• W1499937701 cites W1581520638 @default.
• W1499937701 cites W1992946078 @default.
• W1499937701 cites W2034102118 @default.
• W1499937701 cites W2090106217 @default.
• W1499937701 cites W2107089133 @default.
• W1499937701 cites W2127574686 @default.
• W1499937701 cites W2295903414 @default.
• W1499937701 cites W4230531028 @default.
• W1499937701 cites W7320307 @default.
• W1499937701 doi "https://doi.org/10.1007/11817963_18" @default.
• W1499937701 hasPublicationYear "2006" @default.
• W1499937701 type Work @default.
• W1499937701 sameAs 1499937701 @default.
• W1499937701 citedByCount "51" @default.
• W1499937701 countsByYear W14999377012012 @default.
• W1499937701 countsByYear W14999377012013 @default.
• W1499937701 countsByYear W14999377012014 @default.
• W1499937701 countsByYear W14999377012015 @default.
• W1499937701 countsByYear W14999377012016 @default.
• W1499937701 countsByYear W14999377012017 @default.
• W1499937701 countsByYear W14999377012018 @default.
• W1499937701 countsByYear W14999377012020 @default.
• W1499937701 countsByYear W14999377012021 @default.
• W1499937701 countsByYear W14999377012022 @default.
• W1499937701 countsByYear W14999377012023 @default.
• W1499937701 crossrefType "book-chapter" @default.
• W1499937701 hasAuthorship W1499937701A5046834577 @default.
• W1499937701 hasAuthorship W1499937701A5079431306 @default.
• W1499937701 hasAuthorship W1499937701A5084652886 @default.
• W1499937701 hasBestOaLocation W14999377011 @default.
• W1499937701 hasConcept C110251889 @default.
• W1499937701 hasConcept C111472728 @default.
• W1499937701 hasConcept C111498074 @default.
• W1499937701 hasConcept C115903868 @default.
• W1499937701 hasConcept C118615104 @default.
• W1499937701 hasConcept C119857082 @default.
• W1499937701 hasConcept C124304363 @default.
• W1499937701 hasConcept C138885662 @default.
• W1499937701 hasConcept C162838799 @default.
• W1499937701 hasConcept C186846655 @default.
• W1499937701 hasConcept C189950617 @default.
• W1499937701 hasConcept C199360897 @default.
• W1499937701 hasConcept C2776900844 @default.
• W1499937701 hasConcept C2777904410 @default.
• W1499937701 hasConcept C33054407 @default.
• W1499937701 hasConcept C33923547 @default.
• W1499937701 hasConcept C41008148 @default.
• W1499937701 hasConcept C529173508 @default.
• W1499937701 hasConcept C80444323 @default.
• W1499937701 hasConcept C97256817 @default.
• W1499937701 hasConceptScore W1499937701C110251889 @default.
• W1499937701 hasConceptScore W1499937701C111472728 @default.
• W1499937701 hasConceptScore W1499937701C111498074 @default.
• W1499937701 hasConceptScore W1499937701C115903868 @default.
• W1499937701 hasConceptScore W1499937701C118615104 @default.
• W1499937701 hasConceptScore W1499937701C119857082 @default.
• W1499937701 hasConceptScore W1499937701C124304363 @default.
• W1499937701 hasConceptScore W1499937701C138885662 @default.
• W1499937701 hasConceptScore W1499937701C162838799 @default.
• W1499937701 hasConceptScore W1499937701C186846655 @default.
• W1499937701 hasConceptScore W1499937701C189950617 @default.
• W1499937701 hasConceptScore W1499937701C199360897 @default.
• W1499937701 hasConceptScore W1499937701C2776900844 @default.
• W1499937701 hasConceptScore W1499937701C2777904410 @default.
• W1499937701 hasConceptScore W1499937701C33054407 @default.
• W1499937701 hasConceptScore W1499937701C33923547 @default.
• W1499937701 hasConceptScore W1499937701C41008148 @default.
• W1499937701 hasConceptScore W1499937701C529173508 @default.
• W1499937701 hasConceptScore W1499937701C80444323 @default.
• W1499937701 hasConceptScore W1499937701C97256817 @default.
• W1499937701 hasLocation W14999377011 @default.
• W1499937701 hasOpenAccess W1499937701 @default.
• W1499937701 hasPrimaryLocation W14999377011 @default.
• W1499937701 hasRelatedWork W1514172519 @default.
• W1499937701 hasRelatedWork W1598914363 @default.
• W1499937701 hasRelatedWork W20424721 @default.
• W1499937701 hasRelatedWork W2064247971 @default.
• W1499937701 hasRelatedWork W2105944109 @default.
• W1499937701 hasRelatedWork W2108408848 @default.
• W1499937701 hasRelatedWork W2145683232 @default.
• W1499937701 hasRelatedWork W2158395308 @default.
• W1499937701 hasRelatedWork W2186626863 @default.
• W1499937701 hasRelatedWork W4308502799 @default.

• next