Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225849209> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4225849209 endingPage "523" @default.
- W4225849209 startingPage "505" @default.
- W4225849209 abstract "Abstract We propose a semi-decision procedure for checking generalized reachability properties, on generalized Petri nets, that is based on the Property Directed Reachability (PDR) method. We actually define three different versions, that vary depending on the method used for abstracting possible witnesses, and that are able to handle problems of increasing difficulty. We have implemented our methods in a model-checker called SMPT and give empirical evidences that our approach can handle problems that are difficult or impossible to check with current state of the art tools." @default.
- W4225849209 created "2022-05-05" @default.
- W4225849209 creator A5022722845 @default.
- W4225849209 creator A5058121801 @default.
- W4225849209 creator A5090287624 @default.
- W4225849209 date "2022-01-01" @default.
- W4225849209 modified "2023-09-30" @default.
- W4225849209 title "Property Directed Reachability for Generalized Petri Nets" @default.
- W4225849209 cites W1495266209 @default.
- W4225849209 cites W1521601620 @default.
- W4225849209 cites W1566704763 @default.
- W4225849209 cites W1567452221 @default.
- W4225849209 cites W1570743953 @default.
- W4225849209 cites W160689082 @default.
- W4225849209 cites W1787074469 @default.
- W4225849209 cites W1815155750 @default.
- W4225849209 cites W1964874178 @default.
- W4225849209 cites W1989788631 @default.
- W4225849209 cites W2017315323 @default.
- W4225849209 cites W2031276295 @default.
- W4225849209 cites W2070996046 @default.
- W4225849209 cites W2112594687 @default.
- W4225849209 cites W2122700562 @default.
- W4225849209 cites W2227958109 @default.
- W4225849209 cites W2750367645 @default.
- W4225849209 cites W2763862465 @default.
- W4225849209 cites W2800575625 @default.
- W4225849209 cites W2901878185 @default.
- W4225849209 cites W2911375523 @default.
- W4225849209 cites W3011326900 @default.
- W4225849209 cites W3029089855 @default.
- W4225849209 cites W3100424414 @default.
- W4225849209 cites W3138459719 @default.
- W4225849209 cites W3145100375 @default.
- W4225849209 cites W3163218045 @default.
- W4225849209 cites W3168898146 @default.
- W4225849209 cites W408676302 @default.
- W4225849209 cites W81626549 @default.
- W4225849209 doi "https://doi.org/10.1007/978-3-030-99524-9_28" @default.
- W4225849209 hasPublicationYear "2022" @default.
- W4225849209 type Work @default.
- W4225849209 citedByCount "2" @default.
- W4225849209 countsByYear W42258492092023 @default.
- W4225849209 crossrefType "book-chapter" @default.
- W4225849209 hasAuthorship W4225849209A5022722845 @default.
- W4225849209 hasAuthorship W4225849209A5058121801 @default.
- W4225849209 hasAuthorship W4225849209A5090287624 @default.
- W4225849209 hasBestOaLocation W42258492091 @default.
- W4225849209 hasConcept C110251889 @default.
- W4225849209 hasConcept C111472728 @default.
- W4225849209 hasConcept C136643341 @default.
- W4225849209 hasConcept C138885662 @default.
- W4225849209 hasConcept C189950617 @default.
- W4225849209 hasConcept C197551870 @default.
- W4225849209 hasConcept C199360897 @default.
- W4225849209 hasConcept C2777669093 @default.
- W4225849209 hasConcept C38677869 @default.
- W4225849209 hasConcept C41008148 @default.
- W4225849209 hasConcept C48103436 @default.
- W4225849209 hasConcept C80444323 @default.
- W4225849209 hasConceptScore W4225849209C110251889 @default.
- W4225849209 hasConceptScore W4225849209C111472728 @default.
- W4225849209 hasConceptScore W4225849209C136643341 @default.
- W4225849209 hasConceptScore W4225849209C138885662 @default.
- W4225849209 hasConceptScore W4225849209C189950617 @default.
- W4225849209 hasConceptScore W4225849209C197551870 @default.
- W4225849209 hasConceptScore W4225849209C199360897 @default.
- W4225849209 hasConceptScore W4225849209C2777669093 @default.
- W4225849209 hasConceptScore W4225849209C38677869 @default.
- W4225849209 hasConceptScore W4225849209C41008148 @default.
- W4225849209 hasConceptScore W4225849209C48103436 @default.
- W4225849209 hasConceptScore W4225849209C80444323 @default.
- W4225849209 hasLocation W42258492091 @default.
- W4225849209 hasLocation W42258492092 @default.
- W4225849209 hasLocation W42258492093 @default.
- W4225849209 hasLocation W42258492094 @default.
- W4225849209 hasLocation W42258492095 @default.
- W4225849209 hasOpenAccess W4225849209 @default.
- W4225849209 hasPrimaryLocation W42258492091 @default.
- W4225849209 hasRelatedWork W1638774901 @default.
- W4225849209 hasRelatedWork W2016151994 @default.
- W4225849209 hasRelatedWork W2148229336 @default.
- W4225849209 hasRelatedWork W2170020397 @default.
- W4225849209 hasRelatedWork W2296663577 @default.
- W4225849209 hasRelatedWork W2341552178 @default.
- W4225849209 hasRelatedWork W2890208214 @default.
- W4225849209 hasRelatedWork W2990690886 @default.
- W4225849209 hasRelatedWork W2993657370 @default.
- W4225849209 hasRelatedWork W4225849209 @default.
- W4225849209 isParatext "false" @default.
- W4225849209 isRetracted "false" @default.
- W4225849209 workType "book-chapter" @default.