Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401723615> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2401723615 abstract "Clarke and Emerson are noted for the invention and development of model checking [1]. In this presentation, I will recall the roles of the principals. I was responsible for the initial conception of model checking, as a spinoff of my work on program synthesis. This entailed the checking of candidate models of a temporal specification algorithmically, and explains the coining of the term model checking. Model checking plainly was a form of verification circumventing proofs. As a part of some consulting work, Ed Clarke had been consulting on verification of protocols using temporal specifications and deductive proofs. As I discussed model checking with Ed, he envisioned that it could be a really practical verification method, applicable to protocols and more. Later, Ed commented that neither one of us could have achieved model checking without the other. There are alternative perspectives on this history. In broad brush, these agree, but they vary in detail. I will elaborate with additional crucial facts, and examine their impact on various apparent discrepancies. I would like to suggest the relevance of Pnueli's Principle here: The junior researcher lives in the problem, while the senior researcher lives in a constant stream of interrupts. A Corollary is: The junior researcher will singlemindedly acquire a detailed memory concerning the problem and its solution; The overburdened, timesharing senior researcher will lack sufficient focused attention, blocks of time, and depth of understanding to have good recall." @default.
- W2401723615 created "2016-06-24" @default.
- W2401723615 creator A5039329107 @default.
- W2401723615 date "2015-09-01" @default.
- W2401723615 modified "2023-09-26" @default.
- W2401723615 title "The genesis and development of model checking: fact vs. fiction" @default.
- W2401723615 cites W1590315663 @default.
- W2401723615 doi "https://doi.org/10.1109/fmcad.2015.7542245" @default.
- W2401723615 hasPublicationYear "2015" @default.
- W2401723615 type Work @default.
- W2401723615 sameAs 2401723615 @default.
- W2401723615 citedByCount "0" @default.
- W2401723615 crossrefType "proceedings-article" @default.
- W2401723615 hasAuthorship W2401723615A5039329107 @default.
- W2401723615 hasConcept C100660578 @default.
- W2401723615 hasConcept C108710211 @default.
- W2401723615 hasConcept C110251889 @default.
- W2401723615 hasConcept C115903868 @default.
- W2401723615 hasConcept C126838900 @default.
- W2401723615 hasConcept C15744967 @default.
- W2401723615 hasConcept C158154518 @default.
- W2401723615 hasConcept C17744445 @default.
- W2401723615 hasConcept C180747234 @default.
- W2401723615 hasConcept C199360897 @default.
- W2401723615 hasConcept C199539241 @default.
- W2401723615 hasConcept C2524010 @default.
- W2401723615 hasConcept C2777601897 @default.
- W2401723615 hasConcept C33923547 @default.
- W2401723615 hasConcept C41008148 @default.
- W2401723615 hasConcept C71924100 @default.
- W2401723615 hasConceptScore W2401723615C100660578 @default.
- W2401723615 hasConceptScore W2401723615C108710211 @default.
- W2401723615 hasConceptScore W2401723615C110251889 @default.
- W2401723615 hasConceptScore W2401723615C115903868 @default.
- W2401723615 hasConceptScore W2401723615C126838900 @default.
- W2401723615 hasConceptScore W2401723615C15744967 @default.
- W2401723615 hasConceptScore W2401723615C158154518 @default.
- W2401723615 hasConceptScore W2401723615C17744445 @default.
- W2401723615 hasConceptScore W2401723615C180747234 @default.
- W2401723615 hasConceptScore W2401723615C199360897 @default.
- W2401723615 hasConceptScore W2401723615C199539241 @default.
- W2401723615 hasConceptScore W2401723615C2524010 @default.
- W2401723615 hasConceptScore W2401723615C2777601897 @default.
- W2401723615 hasConceptScore W2401723615C33923547 @default.
- W2401723615 hasConceptScore W2401723615C41008148 @default.
- W2401723615 hasConceptScore W2401723615C71924100 @default.
- W2401723615 hasLocation W24017236151 @default.
- W2401723615 hasOpenAccess W2401723615 @default.
- W2401723615 hasPrimaryLocation W24017236151 @default.
- W2401723615 hasRelatedWork W1501686914 @default.
- W2401723615 hasRelatedWork W150776420 @default.
- W2401723615 hasRelatedWork W1510959904 @default.
- W2401723615 hasRelatedWork W1566418462 @default.
- W2401723615 hasRelatedWork W1919126359 @default.
- W2401723615 hasRelatedWork W1964528821 @default.
- W2401723615 hasRelatedWork W1991991357 @default.
- W2401723615 hasRelatedWork W2003553652 @default.
- W2401723615 hasRelatedWork W2038275022 @default.
- W2401723615 hasRelatedWork W2185485819 @default.
- W2401723615 hasRelatedWork W2293092623 @default.
- W2401723615 hasRelatedWork W2611140638 @default.
- W2401723615 hasRelatedWork W2775903035 @default.
- W2401723615 hasRelatedWork W2922787213 @default.
- W2401723615 hasRelatedWork W2975110407 @default.
- W2401723615 hasRelatedWork W2978995391 @default.
- W2401723615 hasRelatedWork W3104105531 @default.
- W2401723615 hasRelatedWork W3143722652 @default.
- W2401723615 hasRelatedWork W3186384157 @default.
- W2401723615 hasRelatedWork W633094753 @default.
- W2401723615 isParatext "false" @default.
- W2401723615 isRetracted "false" @default.
- W2401723615 magId "2401723615" @default.
- W2401723615 workType "article" @default.