Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892293971> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2892293971 abstract "In the TACAS paper, it is proved that natural projection reduces to partial model checking and, when cast in a common setting, the two are equivalent. In addition, there it was presented a quotienting algorithm and introduced a tool for the partial model checking of finite-state systems that can be used as an alternative to natural projection.In connection with the TACAS paper, we present here the tool suite for the partial evaluation, called PESTS (Partial Evaluator of Simple Transition Systems), used there. We applied the prototype to some case studies. In particular, PESTS can be used to address the following different problems: 1. reducing the verification of a parallel composition to that of a single component; 2. synthesizing a submodule that respects a global specification: Submodule Construction Problem (SCP); 3. synthesizing a controller for a given component: Controller Synthesis Problem (CSP)." @default.
- W2892293971 created "2018-09-27" @default.
- W2892293971 creator A5025344654 @default.
- W2892293971 creator A5040739994 @default.
- W2892293971 creator A5043354136 @default.
- W2892293971 creator A5055365661 @default.
- W2892293971 creator A5074423047 @default.
- W2892293971 date "2018-01-01" @default.
- W2892293971 modified "2023-09-23" @default.
- W2892293971 title "Pests: Partial Evaluator Of Simple Transition Systems" @default.
- W2892293971 doi "https://doi.org/10.5281/zenodo.1135109" @default.
- W2892293971 hasPublicationYear "2018" @default.
- W2892293971 type Work @default.
- W2892293971 sameAs 2892293971 @default.
- W2892293971 citedByCount "0" @default.
- W2892293971 crossrefType "journal-article" @default.
- W2892293971 hasAuthorship W2892293971A5025344654 @default.
- W2892293971 hasAuthorship W2892293971A5040739994 @default.
- W2892293971 hasAuthorship W2892293971A5043354136 @default.
- W2892293971 hasAuthorship W2892293971A5055365661 @default.
- W2892293971 hasAuthorship W2892293971A5074423047 @default.
- W2892293971 hasConcept C111472728 @default.
- W2892293971 hasConcept C11413529 @default.
- W2892293971 hasConcept C121332964 @default.
- W2892293971 hasConcept C138885662 @default.
- W2892293971 hasConcept C168167062 @default.
- W2892293971 hasConcept C199360897 @default.
- W2892293971 hasConcept C203479927 @default.
- W2892293971 hasConcept C2779167558 @default.
- W2892293971 hasConcept C2780586882 @default.
- W2892293971 hasConcept C33923547 @default.
- W2892293971 hasConcept C41008148 @default.
- W2892293971 hasConcept C57493831 @default.
- W2892293971 hasConcept C6557445 @default.
- W2892293971 hasConcept C80444323 @default.
- W2892293971 hasConcept C86803240 @default.
- W2892293971 hasConcept C97355855 @default.
- W2892293971 hasConceptScore W2892293971C111472728 @default.
- W2892293971 hasConceptScore W2892293971C11413529 @default.
- W2892293971 hasConceptScore W2892293971C121332964 @default.
- W2892293971 hasConceptScore W2892293971C138885662 @default.
- W2892293971 hasConceptScore W2892293971C168167062 @default.
- W2892293971 hasConceptScore W2892293971C199360897 @default.
- W2892293971 hasConceptScore W2892293971C203479927 @default.
- W2892293971 hasConceptScore W2892293971C2779167558 @default.
- W2892293971 hasConceptScore W2892293971C2780586882 @default.
- W2892293971 hasConceptScore W2892293971C33923547 @default.
- W2892293971 hasConceptScore W2892293971C41008148 @default.
- W2892293971 hasConceptScore W2892293971C57493831 @default.
- W2892293971 hasConceptScore W2892293971C6557445 @default.
- W2892293971 hasConceptScore W2892293971C80444323 @default.
- W2892293971 hasConceptScore W2892293971C86803240 @default.
- W2892293971 hasConceptScore W2892293971C97355855 @default.
- W2892293971 hasLocation W28922939711 @default.
- W2892293971 hasOpenAccess W2892293971 @default.
- W2892293971 hasPrimaryLocation W28922939711 @default.
- W2892293971 hasRelatedWork W1576784275 @default.
- W2892293971 hasRelatedWork W1613680257 @default.
- W2892293971 hasRelatedWork W1671661949 @default.
- W2892293971 hasRelatedWork W1731145829 @default.
- W2892293971 hasRelatedWork W1952086413 @default.
- W2892293971 hasRelatedWork W2012619633 @default.
- W2892293971 hasRelatedWork W2054424606 @default.
- W2892293971 hasRelatedWork W2115802893 @default.
- W2892293971 hasRelatedWork W2154434220 @default.
- W2892293971 hasRelatedWork W2156526383 @default.
- W2892293971 hasRelatedWork W2186426279 @default.
- W2892293971 hasRelatedWork W2213886569 @default.
- W2892293971 hasRelatedWork W2488068247 @default.
- W2892293971 hasRelatedWork W2496462108 @default.
- W2892293971 hasRelatedWork W2596310084 @default.
- W2892293971 hasRelatedWork W2616886744 @default.
- W2892293971 hasRelatedWork W2798243757 @default.
- W2892293971 hasRelatedWork W2979665092 @default.
- W2892293971 hasRelatedWork W98168214 @default.
- W2892293971 hasRelatedWork W2097768234 @default.
- W2892293971 isParatext "false" @default.
- W2892293971 isRetracted "false" @default.
- W2892293971 magId "2892293971" @default.
- W2892293971 workType "article" @default.