Matches in SemOpenAlex for { <https://semopenalex.org/work/W1582986256> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1582986256 endingPage "69" @default.
- W1582986256 startingPage "54" @default.
- W1582986256 abstract "A method combining data abstraction, model checking and theorem proving is presented. It provides a semi-automatic, formal framework for proving arbitrary linear time temporal logic properties of infinite state reactive systems. The paper contains a complete case study to prove safety and liveness of an implementation of a scheduler for the readers/writers problem which uses unbounded queues and sets. We argue that the proposed framework could be automated to a very large extent making this approach feasible in an industrial environment." @default.
- W1582986256 created "2016-06-24" @default.
- W1582986256 creator A5070399317 @default.
- W1582986256 creator A5072274322 @default.
- W1582986256 date "1995-01-01" @default.
- W1582986256 modified "2023-09-23" @default.
- W1582986256 title "Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving" @default.
- W1582986256 cites W1514983780 @default.
- W1582986256 cites W1527145237 @default.
- W1582986256 cites W1543208154 @default.
- W1582986256 cites W1881906100 @default.
- W1582986256 cites W2012001501 @default.
- W1582986256 cites W2061438988 @default.
- W1582986256 cites W2117189826 @default.
- W1582986256 doi "https://doi.org/10.1007/3-540-60045-0_40" @default.
- W1582986256 hasPublicationYear "1995" @default.
- W1582986256 type Work @default.
- W1582986256 sameAs 1582986256 @default.
- W1582986256 citedByCount "47" @default.
- W1582986256 countsByYear W15829862562012 @default.
- W1582986256 countsByYear W15829862562015 @default.
- W1582986256 countsByYear W15829862562017 @default.
- W1582986256 countsByYear W15829862562021 @default.
- W1582986256 crossrefType "book-chapter" @default.
- W1582986256 hasAuthorship W1582986256A5070399317 @default.
- W1582986256 hasAuthorship W1582986256A5072274322 @default.
- W1582986256 hasBestOaLocation W15829862561 @default.
- W1582986256 hasConcept C110251889 @default.
- W1582986256 hasConcept C111472728 @default.
- W1582986256 hasConcept C11413529 @default.
- W1582986256 hasConcept C124304363 @default.
- W1582986256 hasConcept C138885662 @default.
- W1582986256 hasConcept C145243422 @default.
- W1582986256 hasConcept C15569618 @default.
- W1582986256 hasConcept C167822520 @default.
- W1582986256 hasConcept C199360897 @default.
- W1582986256 hasConcept C206880738 @default.
- W1582986256 hasConcept C25016198 @default.
- W1582986256 hasConcept C30888246 @default.
- W1582986256 hasConcept C41008148 @default.
- W1582986256 hasConcept C4777664 @default.
- W1582986256 hasConcept C48103436 @default.
- W1582986256 hasConcept C80444323 @default.
- W1582986256 hasConceptScore W1582986256C110251889 @default.
- W1582986256 hasConceptScore W1582986256C111472728 @default.
- W1582986256 hasConceptScore W1582986256C11413529 @default.
- W1582986256 hasConceptScore W1582986256C124304363 @default.
- W1582986256 hasConceptScore W1582986256C138885662 @default.
- W1582986256 hasConceptScore W1582986256C145243422 @default.
- W1582986256 hasConceptScore W1582986256C15569618 @default.
- W1582986256 hasConceptScore W1582986256C167822520 @default.
- W1582986256 hasConceptScore W1582986256C199360897 @default.
- W1582986256 hasConceptScore W1582986256C206880738 @default.
- W1582986256 hasConceptScore W1582986256C25016198 @default.
- W1582986256 hasConceptScore W1582986256C30888246 @default.
- W1582986256 hasConceptScore W1582986256C41008148 @default.
- W1582986256 hasConceptScore W1582986256C4777664 @default.
- W1582986256 hasConceptScore W1582986256C48103436 @default.
- W1582986256 hasConceptScore W1582986256C80444323 @default.
- W1582986256 hasLocation W15829862561 @default.
- W1582986256 hasOpenAccess W1582986256 @default.
- W1582986256 hasPrimaryLocation W15829862561 @default.
- W1582986256 hasRelatedWork W121172116 @default.
- W1582986256 hasRelatedWork W1481201928 @default.
- W1582986256 hasRelatedWork W1582986256 @default.
- W1582986256 hasRelatedWork W1630138018 @default.
- W1582986256 hasRelatedWork W1983371115 @default.
- W1582986256 hasRelatedWork W2013635074 @default.
- W1582986256 hasRelatedWork W2136312285 @default.
- W1582986256 hasRelatedWork W2159841389 @default.
- W1582986256 hasRelatedWork W2472692802 @default.
- W1582986256 hasRelatedWork W2474628799 @default.
- W1582986256 isParatext "false" @default.
- W1582986256 isRetracted "false" @default.
- W1582986256 magId "1582986256" @default.
- W1582986256 workType "book-chapter" @default.