Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556802943> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1556802943 abstract "In a mixed approach to system verification using theorem provers with an interface to specialized model-checking tools, it may be necessary to simplify models by considering abstract versions of them. We report on work in progress that aims to develop support within LAMBDA for a systematic approach to abstraction. We give a formalization in LAMBDA of a notion of abstraction for transition systems; the abstract systems have two sorts of transition, and are related to specifications in modal process logic. We prove that formulae in the modal mu-calculus are satisfied in an abstract version of a model only if they are satisfied in the model itself. We illustrate how the proof of an inductive step in the verification of a satisfaction relation for an infinite model can be reduced to the verification of a satisfaction relation for a very small finite model." @default.
- W1556802943 created "2016-06-24" @default.
- W1556802943 creator A5039815658 @default.
- W1556802943 date "1994-01-01" @default.
- W1556802943 modified "2023-09-23" @default.
- W1556802943 title "A formalization of abstraction in LAMBDA" @default.
- W1556802943 cites W1492683468 @default.
- W1556802943 cites W1516964098 @default.
- W1556802943 cites W1519028982 @default.
- W1556802943 cites W2015640848 @default.
- W1556802943 cites W2080267935 @default.
- W1556802943 cites W2097026217 @default.
- W1556802943 cites W2114092850 @default.
- W1556802943 cites W2117189826 @default.
- W1556802943 cites W2130308292 @default.
- W1556802943 cites W2148106163 @default.
- W1556802943 doi "https://doi.org/10.1007/3-540-57826-9_138" @default.
- W1556802943 hasPublicationYear "1994" @default.
- W1556802943 type Work @default.
- W1556802943 sameAs 1556802943 @default.
- W1556802943 citedByCount "1" @default.
- W1556802943 crossrefType "book-chapter" @default.
- W1556802943 hasAuthorship W1556802943A5039815658 @default.
- W1556802943 hasConcept C110251889 @default.
- W1556802943 hasConcept C111472728 @default.
- W1556802943 hasConcept C11413529 @default.
- W1556802943 hasConcept C124101348 @default.
- W1556802943 hasConcept C124304363 @default.
- W1556802943 hasConcept C136119220 @default.
- W1556802943 hasConcept C138885662 @default.
- W1556802943 hasConcept C185592680 @default.
- W1556802943 hasConcept C188027245 @default.
- W1556802943 hasConcept C199343813 @default.
- W1556802943 hasConcept C199360897 @default.
- W1556802943 hasConcept C202444582 @default.
- W1556802943 hasConcept C206880738 @default.
- W1556802943 hasConcept C25343380 @default.
- W1556802943 hasConcept C27508121 @default.
- W1556802943 hasConcept C2777686260 @default.
- W1556802943 hasConcept C2779167558 @default.
- W1556802943 hasConcept C30888246 @default.
- W1556802943 hasConcept C33923547 @default.
- W1556802943 hasConcept C41008148 @default.
- W1556802943 hasConcept C71139939 @default.
- W1556802943 hasConcept C71924100 @default.
- W1556802943 hasConcept C80444323 @default.
- W1556802943 hasConceptScore W1556802943C110251889 @default.
- W1556802943 hasConceptScore W1556802943C111472728 @default.
- W1556802943 hasConceptScore W1556802943C11413529 @default.
- W1556802943 hasConceptScore W1556802943C124101348 @default.
- W1556802943 hasConceptScore W1556802943C124304363 @default.
- W1556802943 hasConceptScore W1556802943C136119220 @default.
- W1556802943 hasConceptScore W1556802943C138885662 @default.
- W1556802943 hasConceptScore W1556802943C185592680 @default.
- W1556802943 hasConceptScore W1556802943C188027245 @default.
- W1556802943 hasConceptScore W1556802943C199343813 @default.
- W1556802943 hasConceptScore W1556802943C199360897 @default.
- W1556802943 hasConceptScore W1556802943C202444582 @default.
- W1556802943 hasConceptScore W1556802943C206880738 @default.
- W1556802943 hasConceptScore W1556802943C25343380 @default.
- W1556802943 hasConceptScore W1556802943C27508121 @default.
- W1556802943 hasConceptScore W1556802943C2777686260 @default.
- W1556802943 hasConceptScore W1556802943C2779167558 @default.
- W1556802943 hasConceptScore W1556802943C30888246 @default.
- W1556802943 hasConceptScore W1556802943C33923547 @default.
- W1556802943 hasConceptScore W1556802943C41008148 @default.
- W1556802943 hasConceptScore W1556802943C71139939 @default.
- W1556802943 hasConceptScore W1556802943C71924100 @default.
- W1556802943 hasConceptScore W1556802943C80444323 @default.
- W1556802943 hasLocation W15568029431 @default.
- W1556802943 hasOpenAccess W1556802943 @default.
- W1556802943 hasPrimaryLocation W15568029431 @default.
- W1556802943 hasRelatedWork W1479802113 @default.
- W1556802943 hasRelatedWork W1494378602 @default.
- W1556802943 hasRelatedWork W1519028982 @default.
- W1556802943 hasRelatedWork W1582986256 @default.
- W1556802943 hasRelatedWork W1593245090 @default.
- W1556802943 hasRelatedWork W1606684007 @default.
- W1556802943 hasRelatedWork W1845114988 @default.
- W1556802943 hasRelatedWork W2011639059 @default.
- W1556802943 hasRelatedWork W2014496562 @default.
- W1556802943 hasRelatedWork W2070717690 @default.
- W1556802943 hasRelatedWork W2135868730 @default.
- W1556802943 hasRelatedWork W2135924382 @default.
- W1556802943 hasRelatedWork W2464096065 @default.
- W1556802943 hasRelatedWork W2518740569 @default.
- W1556802943 hasRelatedWork W2948545904 @default.
- W1556802943 hasRelatedWork W2950225832 @default.
- W1556802943 hasRelatedWork W2986106598 @default.
- W1556802943 hasRelatedWork W3020741357 @default.
- W1556802943 hasRelatedWork W581826227 @default.
- W1556802943 hasRelatedWork W84776621 @default.
- W1556802943 isParatext "false" @default.
- W1556802943 isRetracted "false" @default.
- W1556802943 magId "1556802943" @default.
- W1556802943 workType "book-chapter" @default.