Matches in SemOpenAlex for { <https://semopenalex.org/work/W770597979> ?p ?o ?g. }
- W770597979 endingPage "40" @default.
- W770597979 startingPage "26" @default.
- W770597979 abstract "Model Checking is an automatic verification technique for large state transition systems. It was originally developed for reasoning about finite-state concurrent systems. The technique has been used successfully to debug complex computer hardware, communication protocols, and software. It is beginning to be used for analyzing cyber-physical, biological, and financial systems as well. The major challenge for the technique is a phenomenon called the State Explosion Problem. This issue is impossible to avoid in the worst case; but, by using sophisticated data structures and clever search algorithms, it is now possible to verify state transition systems with an astronomical number of states. In this paper, we will briefly review the development of Model Checking over the past 32 years, with an emphasis on model checking stochastic hybrid systems." @default.
- W770597979 created "2016-06-24" @default.
- W770597979 creator A5052617216 @default.
- W770597979 creator A5090974026 @default.
- W770597979 date "2015-01-01" @default.
- W770597979 modified "2023-09-24" @default.
- W770597979 title "$$2^5$$ Years of Model Checking" @default.
- W770597979 cites W144566684 @default.
- W770597979 cites W1480909796 @default.
- W770597979 cites W1489868140 @default.
- W770597979 cites W1495266209 @default.
- W770597979 cites W1504403751 @default.
- W770597979 cites W1508592466 @default.
- W770597979 cites W1510368738 @default.
- W770597979 cites W1516852392 @default.
- W770597979 cites W1522652805 @default.
- W770597979 cites W1522694098 @default.
- W770597979 cites W1528441743 @default.
- W770597979 cites W1535237014 @default.
- W770597979 cites W1540501475 @default.
- W770597979 cites W1552843130 @default.
- W770597979 cites W1579045998 @default.
- W770597979 cites W1583191255 @default.
- W770597979 cites W1590315663 @default.
- W770597979 cites W1593428110 @default.
- W770597979 cites W1596552075 @default.
- W770597979 cites W1787074469 @default.
- W770597979 cites W1822320350 @default.
- W770597979 cites W1825148885 @default.
- W770597979 cites W1850679117 @default.
- W770597979 cites W1862398452 @default.
- W770597979 cites W1980648830 @default.
- W770597979 cites W2001289891 @default.
- W770597979 cites W2016300863 @default.
- W770597979 cites W2023808162 @default.
- W770597979 cites W2041244869 @default.
- W770597979 cites W2053807562 @default.
- W770597979 cites W2076337359 @default.
- W770597979 cites W2077287580 @default.
- W770597979 cites W2080267935 @default.
- W770597979 cites W2080593426 @default.
- W770597979 cites W2098245493 @default.
- W770597979 cites W2103475464 @default.
- W770597979 cites W2114817689 @default.
- W770597979 cites W2115309705 @default.
- W770597979 cites W2122087968 @default.
- W770597979 cites W2126053898 @default.
- W770597979 cites W2133874828 @default.
- W770597979 cites W2144297552 @default.
- W770597979 cites W2150119568 @default.
- W770597979 cites W2151398141 @default.
- W770597979 cites W2152425687 @default.
- W770597979 cites W2158395308 @default.
- W770597979 cites W2158503535 @default.
- W770597979 cites W2161081924 @default.
- W770597979 cites W2164096878 @default.
- W770597979 cites W2494547223 @default.
- W770597979 cites W2913788705 @default.
- W770597979 cites W2949558051 @default.
- W770597979 cites W327452528 @default.
- W770597979 cites W4246691913 @default.
- W770597979 cites W4300021588 @default.
- W770597979 doi "https://doi.org/10.1007/978-3-662-46823-4_2" @default.
- W770597979 hasPublicationYear "2015" @default.
- W770597979 type Work @default.
- W770597979 sameAs 770597979 @default.
- W770597979 citedByCount "6" @default.
- W770597979 countsByYear W7705979792013 @default.
- W770597979 countsByYear W7705979792015 @default.
- W770597979 countsByYear W7705979792018 @default.
- W770597979 countsByYear W7705979792020 @default.
- W770597979 countsByYear W7705979792022 @default.
- W770597979 crossrefType "book-chapter" @default.
- W770597979 hasAuthorship W770597979A5052617216 @default.
- W770597979 hasAuthorship W770597979A5090974026 @default.
- W770597979 hasConcept C110251889 @default.
- W770597979 hasConcept C120314980 @default.
- W770597979 hasConcept C168065819 @default.
- W770597979 hasConcept C199360897 @default.
- W770597979 hasConcept C2777904410 @default.
- W770597979 hasConcept C41008148 @default.
- W770597979 hasConcept C48103436 @default.
- W770597979 hasConcept C75606506 @default.
- W770597979 hasConcept C80444323 @default.
- W770597979 hasConceptScore W770597979C110251889 @default.
- W770597979 hasConceptScore W770597979C120314980 @default.
- W770597979 hasConceptScore W770597979C168065819 @default.
- W770597979 hasConceptScore W770597979C199360897 @default.
- W770597979 hasConceptScore W770597979C2777904410 @default.
- W770597979 hasConceptScore W770597979C41008148 @default.
- W770597979 hasConceptScore W770597979C48103436 @default.
- W770597979 hasConceptScore W770597979C75606506 @default.
- W770597979 hasConceptScore W770597979C80444323 @default.
- W770597979 hasLocation W7705979791 @default.
- W770597979 hasOpenAccess W770597979 @default.
- W770597979 hasPrimaryLocation W7705979791 @default.
- W770597979 hasRelatedWork W1495096630 @default.
- W770597979 hasRelatedWork W1551485614 @default.