Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058172711> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2058172711 endingPage "52" @default.
- W2058172711 startingPage "38" @default.
- W2058172711 abstract "This paper describes an approach to engineering efficient model checkers that are generic with respect to the temporal logic in which system properties are given. The methodology is based on the “compilation” of temporal formulas into variants of alternating tree automata called alternating Büchi tableau automata (ABTAs). The paper gives an efficient on-the-fly model-checking procedure for ABTAs and illustrates how translations of temporal logics into ABTAs may be concisely specified using inference rules, which may be thus seen as high-level definitions of “model checkers” for the logic given. Heuristics for simplifying ABTAs are also given, as are experimental results in the CWB-NC verification tool suggesting that, despite the generic ABTA basis, our approach can perform better than model checkers targeted for specific logics. The ABTA-based approach we advocate simplifies the retargeting of model checkers to different logics, and it also allows the use of “compile-time” simplifications on ABTAs that improves model-checker performance." @default.
- W2058172711 created "2016-06-24" @default.
- W2058172711 creator A5016408902 @default.
- W2058172711 creator A5026932942 @default.
- W2058172711 creator A5086292237 @default.
- W2058172711 date "2001-01-01" @default.
- W2058172711 modified "2023-09-23" @default.
- W2058172711 title "Efficient Model Checking Via Büchi Tableau Automata?" @default.
- W2058172711 cites W143291542 @default.
- W2058172711 cites W1493551816 @default.
- W2058172711 cites W1507985299 @default.
- W2058172711 cites W1509158468 @default.
- W2058172711 cites W1593428110 @default.
- W2058172711 cites W1607782211 @default.
- W2058172711 cites W1643991583 @default.
- W2058172711 cites W1791618115 @default.
- W2058172711 cites W1979424379 @default.
- W2058172711 cites W1988808695 @default.
- W2058172711 cites W2000947342 @default.
- W2058172711 cites W2012935476 @default.
- W2058172711 cites W2015640848 @default.
- W2058172711 cites W2017759899 @default.
- W2058172711 cites W2061438988 @default.
- W2058172711 cites W2081068412 @default.
- W2058172711 cites W2112535338 @default.
- W2058172711 cites W2117189826 @default.
- W2058172711 cites W2124214533 @default.
- W2058172711 cites W2129254290 @default.
- W2058172711 cites W2153439859 @default.
- W2058172711 cites W2756011084 @default.
- W2058172711 cites W4296471858 @default.
- W2058172711 doi "https://doi.org/10.1007/3-540-44585-4_5" @default.
- W2058172711 hasPublicationYear "2001" @default.
- W2058172711 type Work @default.
- W2058172711 sameAs 2058172711 @default.
- W2058172711 citedByCount "16" @default.
- W2058172711 countsByYear W20581727112012 @default.
- W2058172711 countsByYear W20581727112014 @default.
- W2058172711 countsByYear W20581727112015 @default.
- W2058172711 countsByYear W20581727112021 @default.
- W2058172711 crossrefType "book-chapter" @default.
- W2058172711 hasAuthorship W2058172711A5016408902 @default.
- W2058172711 hasAuthorship W2058172711A5026932942 @default.
- W2058172711 hasAuthorship W2058172711A5086292237 @default.
- W2058172711 hasBestOaLocation W20581727111 @default.
- W2058172711 hasConcept C110251889 @default.
- W2058172711 hasConcept C111919701 @default.
- W2058172711 hasConcept C112505250 @default.
- W2058172711 hasConcept C11413529 @default.
- W2058172711 hasConcept C127705205 @default.
- W2058172711 hasConcept C154945302 @default.
- W2058172711 hasConcept C173801870 @default.
- W2058172711 hasConcept C198008173 @default.
- W2058172711 hasConcept C199360897 @default.
- W2058172711 hasConcept C25016198 @default.
- W2058172711 hasConcept C41008148 @default.
- W2058172711 hasConcept C4777664 @default.
- W2058172711 hasConcept C80444323 @default.
- W2058172711 hasConceptScore W2058172711C110251889 @default.
- W2058172711 hasConceptScore W2058172711C111919701 @default.
- W2058172711 hasConceptScore W2058172711C112505250 @default.
- W2058172711 hasConceptScore W2058172711C11413529 @default.
- W2058172711 hasConceptScore W2058172711C127705205 @default.
- W2058172711 hasConceptScore W2058172711C154945302 @default.
- W2058172711 hasConceptScore W2058172711C173801870 @default.
- W2058172711 hasConceptScore W2058172711C198008173 @default.
- W2058172711 hasConceptScore W2058172711C199360897 @default.
- W2058172711 hasConceptScore W2058172711C25016198 @default.
- W2058172711 hasConceptScore W2058172711C41008148 @default.
- W2058172711 hasConceptScore W2058172711C4777664 @default.
- W2058172711 hasConceptScore W2058172711C80444323 @default.
- W2058172711 hasLocation W20581727111 @default.
- W2058172711 hasOpenAccess W2058172711 @default.
- W2058172711 hasPrimaryLocation W20581727111 @default.
- W2058172711 hasRelatedWork W1527462432 @default.
- W2058172711 hasRelatedWork W1535172341 @default.
- W2058172711 hasRelatedWork W1596929852 @default.
- W2058172711 hasRelatedWork W2106604155 @default.
- W2058172711 hasRelatedWork W2110468917 @default.
- W2058172711 hasRelatedWork W2758505267 @default.
- W2058172711 hasRelatedWork W3177466645 @default.
- W2058172711 hasRelatedWork W4200153695 @default.
- W2058172711 hasRelatedWork W4214723139 @default.
- W2058172711 hasRelatedWork W2525832149 @default.
- W2058172711 isParatext "false" @default.
- W2058172711 isRetracted "false" @default.
- W2058172711 magId "2058172711" @default.
- W2058172711 workType "book-chapter" @default.