FRINK Linked Data Fragments server

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

• W1971998059 endingPage "54" @default.
• W1971998059 startingPage "1" @default.
• W1971998059 abstract "We introduce bounded satisfiability checking, a verification technique that extends bounded model checking by allowing also the analysis of a descriptive model , consisting of temporal logic formulae, instead of the more customary operational model , consisting of a state transition system. We define techniques for encoding temporal logic formulae into Boolean logic that support the use of bi-infinite time domain and of metric time operators. In the framework of bounded satisfiability checking, we show how a descriptive model can be refined into an operational one, and how the correctness of such a refinement can be verified for the bounded case, setting the stage for a stepwise system development method based on a bounded model refinement. Finally, we show how the adoption of a modular approach can make the bounded refinement process more manageable and efficient. All introduced concepts are extensively applied to a set of case studies, and thoroughly experimented through Zot, our SAT solver-based verification toolset." @default.
• W1971998059 created "2016-06-24" @default.
• W1971998059 creator A5006061936 @default.
• W1971998059 creator A5054994026 @default.
• W1971998059 creator A5064490024 @default.
• W1971998059 date "2013-07-01" @default.
• W1971998059 modified "2023-10-02" @default.
• W1971998059 title "Bounded satisfiability checking of metric temporal logic specifications" @default.
• W1971998059 cites W1480531236 @default.
• W1971998059 cites W1518705996 @default.
• W1971998059 cites W1536007121 @default.
• W1971998059 cites W1552324253 @default.
• W1971998059 cites W1562123897 @default.
• W1971998059 cites W1841388400 @default.
• W1971998059 cites W1863652788 @default.
• W1971998059 cites W1965539666 @default.
• W1971998059 cites W1978707903 @default.
• W1971998059 cites W1979248560 @default.
• W1971998059 cites W1981998034 @default.
• W1971998059 cites W1988608457 @default.
• W1971998059 cites W1996645707 @default.
• W1971998059 cites W2009965218 @default.
• W1971998059 cites W2013878945 @default.
• W1971998059 cites W2022846948 @default.
• W1971998059 cites W2023808162 @default.
• W1971998059 cites W2026629052 @default.
• W1971998059 cites W2039027656 @default.
• W1971998059 cites W2054198444 @default.
• W1971998059 cites W2062663486 @default.
• W1971998059 cites W2066381570 @default.
• W1971998059 cites W2095828403 @default.
• W1971998059 cites W2115309705 @default.
• W1971998059 cites W2121678371 @default.
• W1971998059 cites W2129538349 @default.
• W1971998059 cites W2134289790 @default.
• W1971998059 cites W2137661662 @default.
• W1971998059 cites W2143760481 @default.
• W1971998059 cites W2153607861 @default.
• W1971998059 cites W2161166453 @default.
• W1971998059 cites W2166071597 @default.
• W1971998059 cites W2938781954 @default.
• W1971998059 cites W4242177437 @default.
• W1971998059 cites W4252025696 @default.
• W1971998059 doi "https://doi.org/10.1145/2491509.2491514" @default.
• W1971998059 hasPublicationYear "2013" @default.
• W1971998059 type Work @default.
• W1971998059 sameAs 1971998059 @default.
• W1971998059 citedByCount "41" @default.
• W1971998059 countsByYear W19719980592013 @default.
• W1971998059 countsByYear W19719980592014 @default.
• W1971998059 countsByYear W19719980592015 @default.
• W1971998059 countsByYear W19719980592016 @default.
• W1971998059 countsByYear W19719980592017 @default.
• W1971998059 countsByYear W19719980592018 @default.
• W1971998059 countsByYear W19719980592019 @default.
• W1971998059 countsByYear W19719980592020 @default.
• W1971998059 countsByYear W19719980592021 @default.
• W1971998059 countsByYear W19719980592022 @default.
• W1971998059 countsByYear W19719980592023 @default.
• W1971998059 crossrefType "journal-article" @default.
• W1971998059 hasAuthorship W1971998059A5006061936 @default.
• W1971998059 hasAuthorship W1971998059A5054994026 @default.
• W1971998059 hasAuthorship W1971998059A5064490024 @default.
• W1971998059 hasConcept C101468663 @default.
• W1971998059 hasConcept C110251889 @default.
• W1971998059 hasConcept C11413529 @default.
• W1971998059 hasConcept C118615104 @default.
• W1971998059 hasConcept C134306372 @default.
• W1971998059 hasConcept C162324750 @default.
• W1971998059 hasConcept C164155591 @default.
• W1971998059 hasConcept C168773769 @default.
• W1971998059 hasConcept C176217482 @default.
• W1971998059 hasConcept C199360897 @default.
• W1971998059 hasConcept C21547014 @default.
• W1971998059 hasConcept C25016198 @default.
• W1971998059 hasConcept C2778770139 @default.
• W1971998059 hasConcept C30888246 @default.
• W1971998059 hasConcept C33923547 @default.
• W1971998059 hasConcept C34388435 @default.
• W1971998059 hasConcept C41008148 @default.
• W1971998059 hasConcept C55439883 @default.
• W1971998059 hasConcept C6943359 @default.
• W1971998059 hasConcept C80444323 @default.
• W1971998059 hasConceptScore W1971998059C101468663 @default.
• W1971998059 hasConceptScore W1971998059C110251889 @default.
• W1971998059 hasConceptScore W1971998059C11413529 @default.
• W1971998059 hasConceptScore W1971998059C118615104 @default.
• W1971998059 hasConceptScore W1971998059C134306372 @default.
• W1971998059 hasConceptScore W1971998059C162324750 @default.
• W1971998059 hasConceptScore W1971998059C164155591 @default.
• W1971998059 hasConceptScore W1971998059C168773769 @default.
• W1971998059 hasConceptScore W1971998059C176217482 @default.
• W1971998059 hasConceptScore W1971998059C199360897 @default.
• W1971998059 hasConceptScore W1971998059C21547014 @default.
• W1971998059 hasConceptScore W1971998059C25016198 @default.
• W1971998059 hasConceptScore W1971998059C2778770139 @default.
• W1971998059 hasConceptScore W1971998059C30888246 @default.
• W1971998059 hasConceptScore W1971998059C33923547 @default.

• next