Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103800897> ?p ?o ?g. }
- W2103800897 abstract "We present a new approach to bounded model checking that extends current methods in two ways: firstly, instead of a reduction to propositional logic, we choose a more powerful, yet decidable target logic, namely Presburger arithmetic. Secondly, instead of unwinding temporal logic formulas, we unwind corresponding /spl omega/-automata. To this end, we employ a special technique for translating safety and liveness properties to /spl omega/-automata with corresponding acceptance conditions. This combination allows us to utilize bounded model checking techniques for the efficient verification of infinite state systems." @default.
- W2103800897 created "2016-06-24" @default.
- W2103800897 creator A5021237173 @default.
- W2103800897 creator A5081184867 @default.
- W2103800897 date "2005-07-06" @default.
- W2103800897 modified "2023-10-14" @default.
- W2103800897 title "Bounded model checking of infinite state systems: exploiting the automata hierarchy" @default.
- W2103800897 cites W117768600 @default.
- W2103800897 cites W1490859187 @default.
- W2103800897 cites W1494069052 @default.
- W2103800897 cites W1495266209 @default.
- W2103800897 cites W1512310098 @default.
- W2103800897 cites W1527654363 @default.
- W2103800897 cites W1528291435 @default.
- W2103800897 cites W1540012118 @default.
- W2103800897 cites W1548402307 @default.
- W2103800897 cites W1555115347 @default.
- W2103800897 cites W1556844982 @default.
- W2103800897 cites W1557611231 @default.
- W2103800897 cites W1570288637 @default.
- W2103800897 cites W1573354578 @default.
- W2103800897 cites W1574082713 @default.
- W2103800897 cites W1583357444 @default.
- W2103800897 cites W1583869287 @default.
- W2103800897 cites W1597578789 @default.
- W2103800897 cites W1607782211 @default.
- W2103800897 cites W1607820520 @default.
- W2103800897 cites W1675507648 @default.
- W2103800897 cites W1713126207 @default.
- W2103800897 cites W1749917042 @default.
- W2103800897 cites W1777025722 @default.
- W2103800897 cites W1787074469 @default.
- W2103800897 cites W1819209966 @default.
- W2103800897 cites W1833073690 @default.
- W2103800897 cites W1834186039 @default.
- W2103800897 cites W1995151557 @default.
- W2103800897 cites W2003940577 @default.
- W2103800897 cites W2008770192 @default.
- W2103800897 cites W2024148935 @default.
- W2103800897 cites W2044560939 @default.
- W2103800897 cites W2061438988 @default.
- W2103800897 cites W2071228820 @default.
- W2103800897 cites W2075959177 @default.
- W2103800897 cites W2080267935 @default.
- W2103800897 cites W2082036629 @default.
- W2103800897 cites W2082494602 @default.
- W2103800897 cites W2090398333 @default.
- W2103800897 cites W2105505307 @default.
- W2103800897 cites W2105634893 @default.
- W2103800897 cites W2108016168 @default.
- W2103800897 cites W2114725357 @default.
- W2103800897 cites W2117496103 @default.
- W2103800897 cites W212786159 @default.
- W2103800897 cites W2136099086 @default.
- W2103800897 cites W2138856440 @default.
- W2103800897 cites W2142785340 @default.
- W2103800897 cites W2149932816 @default.
- W2103800897 cites W2161094564 @default.
- W2103800897 cites W2340735175 @default.
- W2103800897 cites W2913459036 @default.
- W2103800897 cites W2510540512 @default.
- W2103800897 doi "https://doi.org/10.1109/memcod.2004.1459809" @default.
- W2103800897 hasPublicationYear "2005" @default.
- W2103800897 type Work @default.
- W2103800897 sameAs 2103800897 @default.
- W2103800897 citedByCount "8" @default.
- W2103800897 crossrefType "proceedings-article" @default.
- W2103800897 hasAuthorship W2103800897A5021237173 @default.
- W2103800897 hasAuthorship W2103800897A5081184867 @default.
- W2103800897 hasConcept C110251889 @default.
- W2103800897 hasConcept C111335779 @default.
- W2103800897 hasConcept C112505250 @default.
- W2103800897 hasConcept C11413529 @default.
- W2103800897 hasConcept C118615104 @default.
- W2103800897 hasConcept C134306372 @default.
- W2103800897 hasConcept C153269930 @default.
- W2103800897 hasConcept C15569618 @default.
- W2103800897 hasConcept C25016198 @default.
- W2103800897 hasConcept C2524010 @default.
- W2103800897 hasConcept C30888246 @default.
- W2103800897 hasConcept C33923547 @default.
- W2103800897 hasConcept C34388435 @default.
- W2103800897 hasConcept C41008148 @default.
- W2103800897 hasConcept C4777664 @default.
- W2103800897 hasConcept C48103436 @default.
- W2103800897 hasConcept C5852641 @default.
- W2103800897 hasConcept C80444323 @default.
- W2103800897 hasConceptScore W2103800897C110251889 @default.
- W2103800897 hasConceptScore W2103800897C111335779 @default.
- W2103800897 hasConceptScore W2103800897C112505250 @default.
- W2103800897 hasConceptScore W2103800897C11413529 @default.
- W2103800897 hasConceptScore W2103800897C118615104 @default.
- W2103800897 hasConceptScore W2103800897C134306372 @default.
- W2103800897 hasConceptScore W2103800897C153269930 @default.
- W2103800897 hasConceptScore W2103800897C15569618 @default.
- W2103800897 hasConceptScore W2103800897C25016198 @default.
- W2103800897 hasConceptScore W2103800897C2524010 @default.
- W2103800897 hasConceptScore W2103800897C30888246 @default.
- W2103800897 hasConceptScore W2103800897C33923547 @default.
- W2103800897 hasConceptScore W2103800897C34388435 @default.