FRINK Linked Data Fragments server

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

• W1489409322 endingPage "81" @default.
• W1489409322 startingPage "62" @default.
• W1489409322 abstract "We illustrate the use of logic programming techniques for finite model checking of CTL formulae. We present a technique for infinite state model checking of safety properties based upon logic program specialisation and analysis techniques. The power of the approach is illustrated on several examples. For that, the efficient tools logen and ecce are used. We discuss how this approach has to be extended to handle more complicated infinite state systems and to handle arbitrary CTL formulae." @default.
• W1489409322 created "2016-06-24" @default.
• W1489409322 creator A5058847017 @default.
• W1489409322 creator A5061104746 @default.
• W1489409322 date "2000-01-01" @default.
• W1489409322 modified "2023-09-27" @default.
• W1489409322 title "Infinite State Model Checking by Abstract Interpretation and Program Specialisation" @default.
• W1489409322 cites W1481018260 @default.
• W1489409322 cites W1483379332 @default.
• W1489409322 cites W1492223772 @default.
• W1489409322 cites W1501453246 @default.
• W1489409322 cites W1503857897 @default.
• W1489409322 cites W153405243 @default.
• W1489409322 cites W1572952339 @default.
• W1489409322 cites W1590315663 @default.
• W1489409322 cites W1594156945 @default.
• W1489409322 cites W1599210792 @default.
• W1489409322 cites W1797982308 @default.
• W1489409322 cites W1820500030 @default.
• W1489409322 cites W1881102326 @default.
• W1489409322 cites W1929307865 @default.
• W1489409322 cites W1977601940 @default.
• W1489409322 cites W2030224590 @default.
• W1489409322 cites W2031552811 @default.
• W1489409322 cites W2037035101 @default.
• W1489409322 cites W2048230495 @default.
• W1489409322 cites W2055807110 @default.
• W1489409322 cites W2056410280 @default.
• W1489409322 cites W2076508310 @default.
• W1489409322 cites W2106000595 @default.
• W1489409322 cites W2117189826 @default.
• W1489409322 cites W2137818097 @default.
• W1489409322 cites W2157543955 @default.
• W1489409322 cites W2912614885 @default.
• W1489409322 cites W3021058630 @default.
• W1489409322 cites W4296471858 @default.
• W1489409322 cites W4300021588 @default.
• W1489409322 doi "https://doi.org/10.1007/10720327_5" @default.
• W1489409322 hasPublicationYear "2000" @default.
• W1489409322 type Work @default.
• W1489409322 sameAs 1489409322 @default.
• W1489409322 citedByCount "56" @default.
• W1489409322 countsByYear W14894093222012 @default.
• W1489409322 countsByYear W14894093222013 @default.
• W1489409322 countsByYear W14894093222014 @default.
• W1489409322 countsByYear W14894093222015 @default.
• W1489409322 countsByYear W14894093222016 @default.
• W1489409322 countsByYear W14894093222018 @default.
• W1489409322 countsByYear W14894093222019 @default.
• W1489409322 countsByYear W14894093222020 @default.
• W1489409322 countsByYear W14894093222021 @default.
• W1489409322 crossrefType "book-chapter" @default.
• W1489409322 hasAuthorship W1489409322A5058847017 @default.
• W1489409322 hasAuthorship W1489409322A5061104746 @default.
• W1489409322 hasConcept C110251889 @default.
• W1489409322 hasConcept C11413529 @default.
• W1489409322 hasConcept C128838566 @default.
• W1489409322 hasConcept C147969180 @default.
• W1489409322 hasConcept C154317977 @default.
• W1489409322 hasConcept C185592680 @default.
• W1489409322 hasConcept C195818886 @default.
• W1489409322 hasConcept C198008173 @default.
• W1489409322 hasConcept C199360897 @default.
• W1489409322 hasConcept C202751555 @default.
• W1489409322 hasConcept C25016198 @default.
• W1489409322 hasConcept C2780654840 @default.
• W1489409322 hasConcept C2987117450 @default.
• W1489409322 hasConcept C30888246 @default.
• W1489409322 hasConcept C41008148 @default.
• W1489409322 hasConcept C48103436 @default.
• W1489409322 hasConcept C527412718 @default.
• W1489409322 hasConcept C55493867 @default.
• W1489409322 hasConcept C80444323 @default.
• W1489409322 hasConceptScore W1489409322C110251889 @default.
• W1489409322 hasConceptScore W1489409322C11413529 @default.
• W1489409322 hasConceptScore W1489409322C128838566 @default.
• W1489409322 hasConceptScore W1489409322C147969180 @default.
• W1489409322 hasConceptScore W1489409322C154317977 @default.
• W1489409322 hasConceptScore W1489409322C185592680 @default.
• W1489409322 hasConceptScore W1489409322C195818886 @default.
• W1489409322 hasConceptScore W1489409322C198008173 @default.
• W1489409322 hasConceptScore W1489409322C199360897 @default.
• W1489409322 hasConceptScore W1489409322C202751555 @default.
• W1489409322 hasConceptScore W1489409322C25016198 @default.
• W1489409322 hasConceptScore W1489409322C2780654840 @default.
• W1489409322 hasConceptScore W1489409322C2987117450 @default.
• W1489409322 hasConceptScore W1489409322C30888246 @default.
• W1489409322 hasConceptScore W1489409322C41008148 @default.
• W1489409322 hasConceptScore W1489409322C48103436 @default.
• W1489409322 hasConceptScore W1489409322C527412718 @default.
• W1489409322 hasConceptScore W1489409322C55493867 @default.
• W1489409322 hasConceptScore W1489409322C80444323 @default.
• W1489409322 hasLocation W14894093221 @default.
• W1489409322 hasOpenAccess W1489409322 @default.
• W1489409322 hasPrimaryLocation W14894093221 @default.
• W1489409322 hasRelatedWork W1554387452 @default.
• W1489409322 hasRelatedWork W1567044393 @default.
• W1489409322 hasRelatedWork W1874424006 @default.

• next