Matches in SemOpenAlex for { <https://semopenalex.org/work/W156658180> ?p ?o ?g. }
- W156658180 abstract "Model checking has always been the flag ship in the fleet of automated formal verification techniques. It has been in the center of interest of formal verification research community for more than 25 years. Focusing primarily on the well-known state space explosion problem, a decent amount of techniques and methods have been discovered and applied to push further the frontier of systems verifiable with a model checker. Still, the technique as such has not yet been matured enough to become a common part of a software development process, and its penetration into the software industry is actually much slower than it was expected. In this paper we take a closer look at the so called explicit-state model checking, we briefly recapitulate recent research achievements in the field, and report on practical experience obtained from using our explicit state model checker DIVINE. Our goal is to help the reader understand what is the current position of explicit-state model checking in general practice and what are the strengths and weaknesses of the explicit-state approach after almost three decades of research. Finally, we suggest some research directions to pursue that could shed some light on the future of this formal verification technique." @default.
- W156658180 created "2016-06-24" @default.
- W156658180 creator A5085421461 @default.
- W156658180 date "2015-01-01" @default.
- W156658180 modified "2023-09-27" @default.
- W156658180 title "Quo Vadis Explicit-State Model Checking" @default.
- W156658180 cites W13271837 @default.
- W156658180 cites W1489391022 @default.
- W156658180 cites W1492584664 @default.
- W156658180 cites W1494073859 @default.
- W156658180 cites W1508631477 @default.
- W156658180 cites W1510368738 @default.
- W156658180 cites W1535497513 @default.
- W156658180 cites W1540180960 @default.
- W156658180 cites W1568609840 @default.
- W156658180 cites W1572578464 @default.
- W156658180 cites W1574030932 @default.
- W156658180 cites W1598969122 @default.
- W156658180 cites W1617552349 @default.
- W156658180 cites W177731530 @default.
- W156658180 cites W1832530458 @default.
- W156658180 cites W1850929791 @default.
- W156658180 cites W1968936553 @default.
- W156658180 cites W1973590197 @default.
- W156658180 cites W1979424379 @default.
- W156658180 cites W1984957636 @default.
- W156658180 cites W2006553351 @default.
- W156658180 cites W2012935476 @default.
- W156658180 cites W2021285256 @default.
- W156658180 cites W2022644374 @default.
- W156658180 cites W2035939573 @default.
- W156658180 cites W2051277220 @default.
- W156658180 cites W2061438988 @default.
- W156658180 cites W2063322197 @default.
- W156658180 cites W2085467310 @default.
- W156658180 cites W2112117314 @default.
- W156658180 cites W2118382442 @default.
- W156658180 cites W2119646872 @default.
- W156658180 cites W2138555006 @default.
- W156658180 cites W2139509279 @default.
- W156658180 cites W2146579902 @default.
- W156658180 cites W2182759377 @default.
- W156658180 cites W241804591 @default.
- W156658180 cites W2533662917 @default.
- W156658180 cites W3138459719 @default.
- W156658180 cites W3150693916 @default.
- W156658180 cites W4255617522 @default.
- W156658180 cites W61606928 @default.
- W156658180 doi "https://doi.org/10.1007/978-3-662-46078-8_5" @default.
- W156658180 hasPublicationYear "2015" @default.
- W156658180 type Work @default.
- W156658180 sameAs 156658180 @default.
- W156658180 citedByCount "0" @default.
- W156658180 crossrefType "book-chapter" @default.
- W156658180 hasAuthorship W156658180A5085421461 @default.
- W156658180 hasConcept C105795698 @default.
- W156658180 hasConcept C110251889 @default.
- W156658180 hasConcept C111472728 @default.
- W156658180 hasConcept C111498074 @default.
- W156658180 hasConcept C115903868 @default.
- W156658180 hasConcept C138885662 @default.
- W156658180 hasConcept C177264268 @default.
- W156658180 hasConcept C199360897 @default.
- W156658180 hasConcept C202444582 @default.
- W156658180 hasConcept C2777904410 @default.
- W156658180 hasConcept C33923547 @default.
- W156658180 hasConcept C41008148 @default.
- W156658180 hasConcept C48103436 @default.
- W156658180 hasConcept C63882131 @default.
- W156658180 hasConcept C72434380 @default.
- W156658180 hasConcept C75606506 @default.
- W156658180 hasConcept C85847156 @default.
- W156658180 hasConcept C94633896 @default.
- W156658180 hasConcept C9652623 @default.
- W156658180 hasConceptScore W156658180C105795698 @default.
- W156658180 hasConceptScore W156658180C110251889 @default.
- W156658180 hasConceptScore W156658180C111472728 @default.
- W156658180 hasConceptScore W156658180C111498074 @default.
- W156658180 hasConceptScore W156658180C115903868 @default.
- W156658180 hasConceptScore W156658180C138885662 @default.
- W156658180 hasConceptScore W156658180C177264268 @default.
- W156658180 hasConceptScore W156658180C199360897 @default.
- W156658180 hasConceptScore W156658180C202444582 @default.
- W156658180 hasConceptScore W156658180C2777904410 @default.
- W156658180 hasConceptScore W156658180C33923547 @default.
- W156658180 hasConceptScore W156658180C41008148 @default.
- W156658180 hasConceptScore W156658180C48103436 @default.
- W156658180 hasConceptScore W156658180C63882131 @default.
- W156658180 hasConceptScore W156658180C72434380 @default.
- W156658180 hasConceptScore W156658180C75606506 @default.
- W156658180 hasConceptScore W156658180C85847156 @default.
- W156658180 hasConceptScore W156658180C94633896 @default.
- W156658180 hasConceptScore W156658180C9652623 @default.
- W156658180 hasLocation W1566581801 @default.
- W156658180 hasOpenAccess W156658180 @default.
- W156658180 hasPrimaryLocation W1566581801 @default.
- W156658180 hasRelatedWork W1503930234 @default.
- W156658180 hasRelatedWork W1522400049 @default.
- W156658180 hasRelatedWork W1570958538 @default.
- W156658180 hasRelatedWork W1577505012 @default.