Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201520510> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3201520510 endingPage "12" @default.
- W3201520510 startingPage "1" @default.
- W3201520510 abstract "In this article, we give an overview of our project on higher-order program verification based on HFL (higher-order fixpoint logic) model checking. After a brief introduction to HFL, we explain how it can be applied to program verification, and summarize the current status of the project." @default.
- W3201520510 created "2021-09-27" @default.
- W3201520510 creator A5084941435 @default.
- W3201520510 date "2021-09-13" @default.
- W3201520510 modified "2023-10-16" @default.
- W3201520510 title "An Overview of the HFL Model Checking Project" @default.
- W3201520510 cites W1012186786 @default.
- W3201520510 cites W1536658706 @default.
- W3201520510 cites W1539815637 @default.
- W3201520510 cites W1569188499 @default.
- W3201520510 cites W161537417 @default.
- W3201520510 cites W1813383841 @default.
- W3201520510 cites W1964528821 @default.
- W3201520510 cites W2005192022 @default.
- W3201520510 cites W2015640848 @default.
- W3201520510 cites W2036753951 @default.
- W3201520510 cites W2078578987 @default.
- W3201520510 cites W2105357036 @default.
- W3201520510 cites W2105656272 @default.
- W3201520510 cites W2138308600 @default.
- W3201520510 cites W2293809538 @default.
- W3201520510 cites W2294349880 @default.
- W3201520510 cites W2294925939 @default.
- W3201520510 cites W2295923951 @default.
- W3201520510 cites W2502103274 @default.
- W3201520510 cites W2563241991 @default.
- W3201520510 cites W2571456046 @default.
- W3201520510 cites W2781104476 @default.
- W3201520510 cites W2798666859 @default.
- W3201520510 cites W2883453547 @default.
- W3201520510 cites W2904362559 @default.
- W3201520510 cites W2906490148 @default.
- W3201520510 cites W2963426974 @default.
- W3201520510 cites W2964409640 @default.
- W3201520510 cites W2977356256 @default.
- W3201520510 cites W2987485762 @default.
- W3201520510 cites W2998275713 @default.
- W3201520510 cites W3016484846 @default.
- W3201520510 cites W3029393106 @default.
- W3201520510 cites W3046473740 @default.
- W3201520510 cites W3100001578 @default.
- W3201520510 cites W3102469351 @default.
- W3201520510 cites W3102693153 @default.
- W3201520510 cites W3107553734 @default.
- W3201520510 cites W3120672074 @default.
- W3201520510 cites W3160870209 @default.
- W3201520510 cites W4248689402 @default.
- W3201520510 cites W4256174789 @default.
- W3201520510 doi "https://doi.org/10.4204/eptcs.344.1" @default.
- W3201520510 hasPublicationYear "2021" @default.
- W3201520510 type Work @default.
- W3201520510 sameAs 3201520510 @default.
- W3201520510 citedByCount "1" @default.
- W3201520510 countsByYear W32015205102023 @default.
- W3201520510 crossrefType "journal-article" @default.
- W3201520510 hasAuthorship W3201520510A5084941435 @default.
- W3201520510 hasBestOaLocation W32015205101 @default.
- W3201520510 hasConcept C10138342 @default.
- W3201520510 hasConcept C110251889 @default.
- W3201520510 hasConcept C115903868 @default.
- W3201520510 hasConcept C162324750 @default.
- W3201520510 hasConcept C182306322 @default.
- W3201520510 hasConcept C199360897 @default.
- W3201520510 hasConcept C41008148 @default.
- W3201520510 hasConceptScore W3201520510C10138342 @default.
- W3201520510 hasConceptScore W3201520510C110251889 @default.
- W3201520510 hasConceptScore W3201520510C115903868 @default.
- W3201520510 hasConceptScore W3201520510C162324750 @default.
- W3201520510 hasConceptScore W3201520510C182306322 @default.
- W3201520510 hasConceptScore W3201520510C199360897 @default.
- W3201520510 hasConceptScore W3201520510C41008148 @default.
- W3201520510 hasLocation W32015205101 @default.
- W3201520510 hasLocation W32015205102 @default.
- W3201520510 hasOpenAccess W3201520510 @default.
- W3201520510 hasPrimaryLocation W32015205101 @default.
- W3201520510 hasRelatedWork W1527862632 @default.
- W3201520510 hasRelatedWork W1985198438 @default.
- W3201520510 hasRelatedWork W2109507516 @default.
- W3201520510 hasRelatedWork W2112962394 @default.
- W3201520510 hasRelatedWork W2118300983 @default.
- W3201520510 hasRelatedWork W2151898527 @default.
- W3201520510 hasRelatedWork W2166247150 @default.
- W3201520510 hasRelatedWork W2364866360 @default.
- W3201520510 hasRelatedWork W4243252198 @default.
- W3201520510 hasRelatedWork W47563837 @default.
- W3201520510 hasVolume "344" @default.
- W3201520510 isParatext "false" @default.
- W3201520510 isRetracted "false" @default.
- W3201520510 magId "3201520510" @default.
- W3201520510 workType "article" @default.