Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293855260> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2293855260 endingPage "86" @default.
- W2293855260 startingPage "78" @default.
- W2293855260 abstract "In this paper, we present a Satisfiability Modulo Theory based (SMT-based) bounded model checking (BMC) method for Timed Real-Weighted Interpreted Systems and for the existential fragment of the Weighted Epistemic Computation Tree Logic. SMT-based bounded model checking consists in translating the existential model checking problem for a modal logic and for a model to the satisfiability problem of a quantifier-free first-order formula. We have implemented the SMT-BMC method and performed the BMC algorithm on Timed Weighted Generic Pipeline Paradigm benchmark. The preliminary experimental results demonstrate the feasibility of the method. To perform the experiments, we used the state of the art SMT-solver Z3." @default.
- W2293855260 created "2016-06-24" @default.
- W2293855260 creator A5037050989 @default.
- W2293855260 creator A5037418855 @default.
- W2293855260 date "2015-01-01" @default.
- W2293855260 modified "2023-09-23" @default.
- W2293855260 title "Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking." @default.
- W2293855260 doi "https://doi.org/10.4230/oasics.iccsw.2015.78" @default.
- W2293855260 hasPublicationYear "2015" @default.
- W2293855260 type Work @default.
- W2293855260 sameAs 2293855260 @default.
- W2293855260 citedByCount "0" @default.
- W2293855260 crossrefType "journal-article" @default.
- W2293855260 hasAuthorship W2293855260A5037050989 @default.
- W2293855260 hasAuthorship W2293855260A5037418855 @default.
- W2293855260 hasConcept C110251889 @default.
- W2293855260 hasConcept C11413529 @default.
- W2293855260 hasConcept C13280743 @default.
- W2293855260 hasConcept C134306372 @default.
- W2293855260 hasConcept C164155591 @default.
- W2293855260 hasConcept C168773769 @default.
- W2293855260 hasConcept C185798385 @default.
- W2293855260 hasConcept C198008173 @default.
- W2293855260 hasConcept C199360897 @default.
- W2293855260 hasConcept C205649164 @default.
- W2293855260 hasConcept C2776235265 @default.
- W2293855260 hasConcept C30888246 @default.
- W2293855260 hasConcept C32278780 @default.
- W2293855260 hasConcept C33923547 @default.
- W2293855260 hasConcept C34388435 @default.
- W2293855260 hasConcept C41008148 @default.
- W2293855260 hasConcept C43521106 @default.
- W2293855260 hasConcept C80444323 @default.
- W2293855260 hasConceptScore W2293855260C110251889 @default.
- W2293855260 hasConceptScore W2293855260C11413529 @default.
- W2293855260 hasConceptScore W2293855260C13280743 @default.
- W2293855260 hasConceptScore W2293855260C134306372 @default.
- W2293855260 hasConceptScore W2293855260C164155591 @default.
- W2293855260 hasConceptScore W2293855260C168773769 @default.
- W2293855260 hasConceptScore W2293855260C185798385 @default.
- W2293855260 hasConceptScore W2293855260C198008173 @default.
- W2293855260 hasConceptScore W2293855260C199360897 @default.
- W2293855260 hasConceptScore W2293855260C205649164 @default.
- W2293855260 hasConceptScore W2293855260C2776235265 @default.
- W2293855260 hasConceptScore W2293855260C30888246 @default.
- W2293855260 hasConceptScore W2293855260C32278780 @default.
- W2293855260 hasConceptScore W2293855260C33923547 @default.
- W2293855260 hasConceptScore W2293855260C34388435 @default.
- W2293855260 hasConceptScore W2293855260C41008148 @default.
- W2293855260 hasConceptScore W2293855260C43521106 @default.
- W2293855260 hasConceptScore W2293855260C80444323 @default.
- W2293855260 hasLocation W22938552601 @default.
- W2293855260 hasOpenAccess W2293855260 @default.
- W2293855260 hasPrimaryLocation W22938552601 @default.
- W2293855260 hasRelatedWork W139055536 @default.
- W2293855260 hasRelatedWork W1480537711 @default.
- W2293855260 hasRelatedWork W1539966261 @default.
- W2293855260 hasRelatedWork W1594074817 @default.
- W2293855260 hasRelatedWork W1990214517 @default.
- W2293855260 hasRelatedWork W2085489784 @default.
- W2293855260 hasRelatedWork W2098820883 @default.
- W2293855260 hasRelatedWork W2118771962 @default.
- W2293855260 hasRelatedWork W2131863441 @default.
- W2293855260 hasRelatedWork W213397635 @default.
- W2293855260 hasRelatedWork W2153607861 @default.
- W2293855260 hasRelatedWork W2156717832 @default.
- W2293855260 hasRelatedWork W2159319440 @default.
- W2293855260 hasRelatedWork W2276938165 @default.
- W2293855260 hasRelatedWork W2401682804 @default.
- W2293855260 hasRelatedWork W2542590036 @default.
- W2293855260 hasRelatedWork W2909617072 @default.
- W2293855260 hasRelatedWork W2941252374 @default.
- W2293855260 hasRelatedWork W3096653528 @default.
- W2293855260 hasRelatedWork W1580211323 @default.
- W2293855260 hasVolume "49" @default.
- W2293855260 isParatext "false" @default.
- W2293855260 isRetracted "false" @default.
- W2293855260 magId "2293855260" @default.
- W2293855260 workType "article" @default.