FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W42332353> ?p ?o ?g. }

• W42332353 endingPage "724" @default.
• W42332353 startingPage "718" @default.
• W42332353 abstract "Cubicle is a new model checker for verifying safety properties of parameterized systems. It implements a parallel symbolic backward reachability procedure using Satisfiabilty Modulo Theories. Experiments done on classic and challenging mutual exclusion algorithms and cache coherence protocols show that Cubicle is effective and competitive with state-of-the-art model checkers." @default.
• W42332353 created "2016-06-24" @default.
• W42332353 creator A5005087679 @default.
• W42332353 creator A5023926588 @default.
• W42332353 creator A5055526112 @default.
• W42332353 creator A5062975660 @default.
• W42332353 creator A5085080319 @default.
• W42332353 date "2012-01-01" @default.
• W42332353 modified "2023-09-25" @default.
• W42332353 title "Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems" @default.
• W42332353 cites W1511903507 @default.
• W42332353 cites W1516900991 @default.
• W42332353 cites W1518122051 @default.
• W42332353 cites W1541228707 @default.
• W42332353 cites W1579329775 @default.
• W42332353 cites W1592502301 @default.
• W42332353 cites W169649059 @default.
• W42332353 cites W1808035063 @default.
• W42332353 cites W1870526560 @default.
• W42332353 cites W2100509502 @default.
• W42332353 cites W2533662917 @default.
• W42332353 cites W3104749005 @default.
• W42332353 doi "https://doi.org/10.1007/978-3-642-31424-7_55" @default.
• W42332353 hasPublicationYear "2012" @default.
• W42332353 type Work @default.
• W42332353 sameAs 42332353 @default.
• W42332353 citedByCount "74" @default.
• W42332353 countsByYear W423323532013 @default.
• W42332353 countsByYear W423323532014 @default.
• W42332353 countsByYear W423323532015 @default.
• W42332353 countsByYear W423323532016 @default.
• W42332353 countsByYear W423323532017 @default.
• W42332353 countsByYear W423323532018 @default.
• W42332353 countsByYear W423323532019 @default.
• W42332353 countsByYear W423323532020 @default.
• W42332353 countsByYear W423323532021 @default.
• W42332353 countsByYear W423323532022 @default.
• W42332353 countsByYear W423323532023 @default.
• W42332353 crossrefType "book-chapter" @default.
• W42332353 hasAuthorship W42332353A5005087679 @default.
• W42332353 hasAuthorship W42332353A5023926588 @default.
• W42332353 hasAuthorship W42332353A5055526112 @default.
• W42332353 hasAuthorship W42332353A5062975660 @default.
• W42332353 hasAuthorship W42332353A5085080319 @default.
• W42332353 hasBestOaLocation W423323531 @default.
• W42332353 hasConcept C110251889 @default.
• W42332353 hasConcept C11413529 @default.
• W42332353 hasConcept C115537543 @default.
• W42332353 hasConcept C118615104 @default.
• W42332353 hasConcept C136643341 @default.
• W42332353 hasConcept C141917322 @default.
• W42332353 hasConcept C165464430 @default.
• W42332353 hasConcept C173608175 @default.
• W42332353 hasConcept C189783530 @default.
• W42332353 hasConcept C199360897 @default.
• W42332353 hasConcept C2777904410 @default.
• W42332353 hasConcept C2779639559 @default.
• W42332353 hasConcept C33923547 @default.
• W42332353 hasConcept C38556500 @default.
• W42332353 hasConcept C41008148 @default.
• W42332353 hasConcept C54732982 @default.
• W42332353 hasConcept C56348326 @default.
• W42332353 hasConcept C80444323 @default.
• W42332353 hasConceptScore W42332353C110251889 @default.
• W42332353 hasConceptScore W42332353C11413529 @default.
• W42332353 hasConceptScore W42332353C115537543 @default.
• W42332353 hasConceptScore W42332353C118615104 @default.
• W42332353 hasConceptScore W42332353C136643341 @default.
• W42332353 hasConceptScore W42332353C141917322 @default.
• W42332353 hasConceptScore W42332353C165464430 @default.
• W42332353 hasConceptScore W42332353C173608175 @default.
• W42332353 hasConceptScore W42332353C189783530 @default.
• W42332353 hasConceptScore W42332353C199360897 @default.
• W42332353 hasConceptScore W42332353C2777904410 @default.
• W42332353 hasConceptScore W42332353C2779639559 @default.
• W42332353 hasConceptScore W42332353C33923547 @default.
• W42332353 hasConceptScore W42332353C38556500 @default.
• W42332353 hasConceptScore W42332353C41008148 @default.
• W42332353 hasConceptScore W42332353C54732982 @default.
• W42332353 hasConceptScore W42332353C56348326 @default.
• W42332353 hasConceptScore W42332353C80444323 @default.
• W42332353 hasLocation W423323531 @default.
• W42332353 hasLocation W423323532 @default.
• W42332353 hasLocation W423323533 @default.
• W42332353 hasLocation W423323534 @default.
• W42332353 hasLocation W423323535 @default.
• W42332353 hasOpenAccess W42332353 @default.
• W42332353 hasPrimaryLocation W423323531 @default.
• W42332353 hasRelatedWork W143018197 @default.
• W42332353 hasRelatedWork W1503128752 @default.
• W42332353 hasRelatedWork W1603554695 @default.
• W42332353 hasRelatedWork W1870526560 @default.
• W42332353 hasRelatedWork W2067840450 @default.
• W42332353 hasRelatedWork W2810868851 @default.
• W42332353 hasRelatedWork W295290875 @default.
• W42332353 hasRelatedWork W3043232031 @default.
• W42332353 hasRelatedWork W42332353 @default.
• W42332353 hasRelatedWork W4383046710 @default.

• next