Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016484846> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3016484846 endingPage "214" @default.
- W3016484846 startingPage "195" @default.
- W3016484846 abstract "Abstract Fixpoint logics have recently been drawing attention as common foundations for automated program verification. We formalize fold/unfold transformations for fixpoint logic formulas and show how they can be used to enhance a recent fixpoint-logic approach to automated program verification, including automated verification of relational and temporal properties. We have implemented the transformations in a tool and confirmed its effectiveness through experiments." @default.
- W3016484846 created "2020-04-24" @default.
- W3016484846 creator A5027818967 @default.
- W3016484846 creator A5041231710 @default.
- W3016484846 creator A5084941435 @default.
- W3016484846 date "2020-01-01" @default.
- W3016484846 modified "2023-10-14" @default.
- W3016484846 title "Fold/Unfold Transformations for Fixpoint Logic" @default.
- W3016484846 cites W1209505024 @default.
- W3016484846 cites W1480909796 @default.
- W3016484846 cites W1498461125 @default.
- W3016484846 cites W1507890859 @default.
- W3016484846 cites W1532674857 @default.
- W3016484846 cites W1581674879 @default.
- W3016484846 cites W17381159 @default.
- W3016484846 cites W1902047993 @default.
- W3016484846 cites W1964528821 @default.
- W3016484846 cites W2023299380 @default.
- W3016484846 cites W2043140417 @default.
- W3016484846 cites W2044934647 @default.
- W3016484846 cites W2090634299 @default.
- W3016484846 cites W2125656483 @default.
- W3016484846 cites W2128803539 @default.
- W3016484846 cites W2139470733 @default.
- W3016484846 cites W2158493209 @default.
- W3016484846 cites W2293809538 @default.
- W3016484846 cites W2294349880 @default.
- W3016484846 cites W2514073783 @default.
- W3016484846 cites W2545358040 @default.
- W3016484846 cites W2798666859 @default.
- W3016484846 cites W2811195459 @default.
- W3016484846 cites W2883453547 @default.
- W3016484846 cites W2889041813 @default.
- W3016484846 cites W2896700544 @default.
- W3016484846 cites W2906490148 @default.
- W3016484846 cites W2963426974 @default.
- W3016484846 cites W2974174239 @default.
- W3016484846 cites W2977356256 @default.
- W3016484846 cites W4254770492 @default.
- W3016484846 doi "https://doi.org/10.1007/978-3-030-45237-7_12" @default.
- W3016484846 hasPublicationYear "2020" @default.
- W3016484846 type Work @default.
- W3016484846 sameAs 3016484846 @default.
- W3016484846 citedByCount "7" @default.
- W3016484846 countsByYear W30164848462020 @default.
- W3016484846 countsByYear W30164848462021 @default.
- W3016484846 countsByYear W30164848462022 @default.
- W3016484846 countsByYear W30164848462023 @default.
- W3016484846 crossrefType "book-chapter" @default.
- W3016484846 hasAuthorship W3016484846A5027818967 @default.
- W3016484846 hasAuthorship W3016484846A5041231710 @default.
- W3016484846 hasAuthorship W3016484846A5084941435 @default.
- W3016484846 hasBestOaLocation W30164848461 @default.
- W3016484846 hasConcept C11413529 @default.
- W3016484846 hasConcept C134306372 @default.
- W3016484846 hasConcept C199360897 @default.
- W3016484846 hasConcept C33923547 @default.
- W3016484846 hasConcept C41008148 @default.
- W3016484846 hasConcept C61445026 @default.
- W3016484846 hasConcept C80444323 @default.
- W3016484846 hasConceptScore W3016484846C11413529 @default.
- W3016484846 hasConceptScore W3016484846C134306372 @default.
- W3016484846 hasConceptScore W3016484846C199360897 @default.
- W3016484846 hasConceptScore W3016484846C33923547 @default.
- W3016484846 hasConceptScore W3016484846C41008148 @default.
- W3016484846 hasConceptScore W3016484846C61445026 @default.
- W3016484846 hasConceptScore W3016484846C80444323 @default.
- W3016484846 hasLocation W30164848461 @default.
- W3016484846 hasOpenAccess W3016484846 @default.
- W3016484846 hasPrimaryLocation W30164848461 @default.
- W3016484846 hasRelatedWork W2013111119 @default.
- W3016484846 hasRelatedWork W2047793074 @default.
- W3016484846 hasRelatedWork W2112962394 @default.
- W3016484846 hasRelatedWork W2118300983 @default.
- W3016484846 hasRelatedWork W2382501300 @default.
- W3016484846 hasRelatedWork W3137189469 @default.
- W3016484846 hasRelatedWork W3162240892 @default.
- W3016484846 hasRelatedWork W4235530921 @default.
- W3016484846 hasRelatedWork W4243252198 @default.
- W3016484846 hasRelatedWork W4245713008 @default.
- W3016484846 isParatext "false" @default.
- W3016484846 isRetracted "false" @default.
- W3016484846 magId "3016484846" @default.
- W3016484846 workType "book-chapter" @default.