Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964276056> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2964276056 endingPage "27" @default.
- W2964276056 startingPage "20" @default.
- W2964276056 abstract "JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, performance competitive with other state-of-the-art model checkers, and has features designed to improve the results presented to users: inductive validity cores for proofs and counterexample smoothing for test-case generation. It serves as the back-end for various industrial applications." @default.
- W2964276056 created "2019-07-30" @default.
- W2964276056 creator A5014360702 @default.
- W2964276056 creator A5044441669 @default.
- W2964276056 creator A5063672597 @default.
- W2964276056 creator A5069042814 @default.
- W2964276056 creator A5084336108 @default.
- W2964276056 date "2018-01-01" @default.
- W2964276056 modified "2023-10-05" @default.
- W2964276056 title "The JKind Model Checker" @default.
- W2964276056 cites W115133185 @default.
- W2964276056 cites W1523041988 @default.
- W2964276056 cites W157439360 @default.
- W2964276056 cites W1594193927 @default.
- W2964276056 cites W1815155750 @default.
- W2964276056 cites W1839583963 @default.
- W2964276056 cites W2022877924 @default.
- W2964276056 cites W2069075127 @default.
- W2964276056 cites W2104219811 @default.
- W2964276056 cites W2125415493 @default.
- W2964276056 cites W2147627044 @default.
- W2964276056 cites W2292992187 @default.
- W2964276056 cites W2302054093 @default.
- W2964276056 cites W2503425026 @default.
- W2964276056 cites W2548985278 @default.
- W2964276056 cites W2550010907 @default.
- W2964276056 cites W2605316066 @default.
- W2964276056 cites W2735269049 @default.
- W2964276056 cites W2767527259 @default.
- W2964276056 cites W2768040558 @default.
- W2964276056 cites W81626549 @default.
- W2964276056 doi "https://doi.org/10.1007/978-3-319-96142-2_3" @default.
- W2964276056 hasPublicationYear "2018" @default.
- W2964276056 type Work @default.
- W2964276056 sameAs 2964276056 @default.
- W2964276056 citedByCount "35" @default.
- W2964276056 countsByYear W29642760562018 @default.
- W2964276056 countsByYear W29642760562019 @default.
- W2964276056 countsByYear W29642760562020 @default.
- W2964276056 countsByYear W29642760562021 @default.
- W2964276056 countsByYear W29642760562022 @default.
- W2964276056 countsByYear W29642760562023 @default.
- W2964276056 crossrefType "book-chapter" @default.
- W2964276056 hasAuthorship W2964276056A5014360702 @default.
- W2964276056 hasAuthorship W2964276056A5044441669 @default.
- W2964276056 hasAuthorship W2964276056A5063672597 @default.
- W2964276056 hasAuthorship W2964276056A5069042814 @default.
- W2964276056 hasAuthorship W2964276056A5084336108 @default.
- W2964276056 hasBestOaLocation W29642760561 @default.
- W2964276056 hasConcept C108710211 @default.
- W2964276056 hasConcept C110251889 @default.
- W2964276056 hasConcept C111498074 @default.
- W2964276056 hasConcept C118615104 @default.
- W2964276056 hasConcept C145243422 @default.
- W2964276056 hasConcept C162838799 @default.
- W2964276056 hasConcept C167822520 @default.
- W2964276056 hasConcept C199360897 @default.
- W2964276056 hasConcept C2524010 @default.
- W2964276056 hasConcept C31972630 @default.
- W2964276056 hasConcept C33923547 @default.
- W2964276056 hasConcept C3770464 @default.
- W2964276056 hasConcept C41008148 @default.
- W2964276056 hasConcept C48103436 @default.
- W2964276056 hasConceptScore W2964276056C108710211 @default.
- W2964276056 hasConceptScore W2964276056C110251889 @default.
- W2964276056 hasConceptScore W2964276056C111498074 @default.
- W2964276056 hasConceptScore W2964276056C118615104 @default.
- W2964276056 hasConceptScore W2964276056C145243422 @default.
- W2964276056 hasConceptScore W2964276056C162838799 @default.
- W2964276056 hasConceptScore W2964276056C167822520 @default.
- W2964276056 hasConceptScore W2964276056C199360897 @default.
- W2964276056 hasConceptScore W2964276056C2524010 @default.
- W2964276056 hasConceptScore W2964276056C31972630 @default.
- W2964276056 hasConceptScore W2964276056C33923547 @default.
- W2964276056 hasConceptScore W2964276056C3770464 @default.
- W2964276056 hasConceptScore W2964276056C41008148 @default.
- W2964276056 hasConceptScore W2964276056C48103436 @default.
- W2964276056 hasLocation W29642760561 @default.
- W2964276056 hasOpenAccess W2964276056 @default.
- W2964276056 hasPrimaryLocation W29642760561 @default.
- W2964276056 hasRelatedWork W1591738378 @default.
- W2964276056 hasRelatedWork W2741430969 @default.
- W2964276056 hasRelatedWork W2775474291 @default.
- W2964276056 hasRelatedWork W2902987430 @default.
- W2964276056 hasRelatedWork W2956679612 @default.
- W2964276056 hasRelatedWork W2964276056 @default.
- W2964276056 hasRelatedWork W3020741357 @default.
- W2964276056 hasRelatedWork W4238843037 @default.
- W2964276056 hasRelatedWork W4289243560 @default.
- W2964276056 hasRelatedWork W4384471248 @default.
- W2964276056 isParatext "false" @default.
- W2964276056 isRetracted "false" @default.
- W2964276056 magId "2964276056" @default.
- W2964276056 workType "book-chapter" @default.