Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110353157> ?p ?o ?g. }
- W2110353157 endingPage "3041" @default.
- W2110353157 startingPage "3025" @default.
- W2110353157 abstract "Summary The recent extensive availability of ‘cloud’ computing platforms is very appealing for the formal verification community. In fact, these platforms represent a great opportunity to run massively parallel jobs and analyze ‘big data’ problems, although classical formal verification tools and techniques must undergo a deep technological transformation to take advantage of the available powerful architectures. A distributed approach to verification of computation tree logic formulas on very large state spaces is described. The approach exploits and integrates our parametric state–space builder, designed to ease the adoption of ‘big data’ platforms. The whole framework adopts a MAPREDUCE approach as the core computational model and can be tailored to different modeling formalisms. This paper includes proofs of correctness, a short theoretical discussion about complexity, and reports a practical experience with some benchmarking Petri net models. The outcomes of several tests are presented, thus showing the convenience of the proposed approach. Copyright © 2015 John Wiley & Sons, Ltd." @default.
- W2110353157 created "2016-06-24" @default.
- W2110353157 creator A5005806240 @default.
- W2110353157 creator A5046955540 @default.
- W2110353157 creator A5068010595 @default.
- W2110353157 creator A5087624601 @default.
- W2110353157 date "2015-09-20" @default.
- W2110353157 modified "2023-09-25" @default.
- W2110353157 title "Distributed CTL model checking using MapReduce: theory and practice" @default.
- W2110353157 cites W118943240 @default.
- W2110353157 cites W125191722 @default.
- W2110353157 cites W1470776573 @default.
- W2110353157 cites W1484374924 @default.
- W2110353157 cites W1489095339 @default.
- W2110353157 cites W1496637959 @default.
- W2110353157 cites W1512185023 @default.
- W2110353157 cites W1516900991 @default.
- W2110353157 cites W1528040784 @default.
- W2110353157 cites W1547793878 @default.
- W2110353157 cites W1548402307 @default.
- W2110353157 cites W1548575501 @default.
- W2110353157 cites W1559564206 @default.
- W2110353157 cites W1574570499 @default.
- W2110353157 cites W1590315663 @default.
- W2110353157 cites W1600967790 @default.
- W2110353157 cites W1963592634 @default.
- W2110353157 cites W1997427041 @default.
- W2110353157 cites W2020302654 @default.
- W2110353157 cites W2021285256 @default.
- W2110353157 cites W2027139596 @default.
- W2110353157 cites W2035939573 @default.
- W2110353157 cites W2046213250 @default.
- W2110353157 cites W2061438988 @default.
- W2110353157 cites W2062858138 @default.
- W2110353157 cites W2064740254 @default.
- W2110353157 cites W2081955678 @default.
- W2110353157 cites W2091281509 @default.
- W2110353157 cites W2119565742 @default.
- W2110353157 cites W2125040344 @default.
- W2110353157 cites W2148821745 @default.
- W2110353157 cites W2150401902 @default.
- W2110353157 cites W2150534805 @default.
- W2110353157 cites W2151830023 @default.
- W2110353157 cites W2154811097 @default.
- W2110353157 cites W224698694 @default.
- W2110353157 cites W2533662917 @default.
- W2110353157 cites W3098192673 @default.
- W2110353157 cites W3148437794 @default.
- W2110353157 cites W4213146104 @default.
- W2110353157 cites W4213162049 @default.
- W2110353157 doi "https://doi.org/10.1002/cpe.3652" @default.
- W2110353157 hasPublicationYear "2015" @default.
- W2110353157 type Work @default.
- W2110353157 sameAs 2110353157 @default.
- W2110353157 citedByCount "7" @default.
- W2110353157 countsByYear W21103531572016 @default.
- W2110353157 countsByYear W21103531572018 @default.
- W2110353157 countsByYear W21103531572019 @default.
- W2110353157 countsByYear W21103531572020 @default.
- W2110353157 countsByYear W21103531572021 @default.
- W2110353157 countsByYear W21103531572023 @default.
- W2110353157 crossrefType "journal-article" @default.
- W2110353157 hasAuthorship W2110353157A5005806240 @default.
- W2110353157 hasAuthorship W2110353157A5046955540 @default.
- W2110353157 hasAuthorship W2110353157A5068010595 @default.
- W2110353157 hasAuthorship W2110353157A5087624601 @default.
- W2110353157 hasConcept C105795698 @default.
- W2110353157 hasConcept C110251889 @default.
- W2110353157 hasConcept C111498074 @default.
- W2110353157 hasConcept C111919701 @default.
- W2110353157 hasConcept C115903868 @default.
- W2110353157 hasConcept C120314980 @default.
- W2110353157 hasConcept C124101348 @default.
- W2110353157 hasConcept C165696696 @default.
- W2110353157 hasConcept C169590947 @default.
- W2110353157 hasConcept C171018156 @default.
- W2110353157 hasConcept C199360897 @default.
- W2110353157 hasConcept C2524010 @default.
- W2110353157 hasConcept C33923547 @default.
- W2110353157 hasConcept C38652104 @default.
- W2110353157 hasConcept C38677869 @default.
- W2110353157 hasConcept C41008148 @default.
- W2110353157 hasConcept C48103436 @default.
- W2110353157 hasConcept C55439883 @default.
- W2110353157 hasConcept C72434380 @default.
- W2110353157 hasConcept C75606506 @default.
- W2110353157 hasConcept C75684735 @default.
- W2110353157 hasConcept C79974875 @default.
- W2110353157 hasConcept C80444323 @default.
- W2110353157 hasConceptScore W2110353157C105795698 @default.
- W2110353157 hasConceptScore W2110353157C110251889 @default.
- W2110353157 hasConceptScore W2110353157C111498074 @default.
- W2110353157 hasConceptScore W2110353157C111919701 @default.
- W2110353157 hasConceptScore W2110353157C115903868 @default.
- W2110353157 hasConceptScore W2110353157C120314980 @default.
- W2110353157 hasConceptScore W2110353157C124101348 @default.
- W2110353157 hasConceptScore W2110353157C165696696 @default.
- W2110353157 hasConceptScore W2110353157C169590947 @default.