Matches in SemOpenAlex for { <https://semopenalex.org/work/W814702246> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W814702246 abstract "We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation." @default.
- W814702246 created "2016-06-24" @default.
- W814702246 creator A5051613263 @default.
- W814702246 date "2007-04-01" @default.
- W814702246 modified "2023-09-27" @default.
- W814702246 title "Model Checking Abstract PLEXIL Programs with SMART" @default.
- W814702246 cites W2171608978 @default.
- W814702246 cites W2652867808 @default.
- W814702246 cites W758329014 @default.
- W814702246 hasPublicationYear "2007" @default.
- W814702246 type Work @default.
- W814702246 sameAs 814702246 @default.
- W814702246 citedByCount "1" @default.
- W814702246 countsByYear W8147022462012 @default.
- W814702246 crossrefType "journal-article" @default.
- W814702246 hasAuthorship W814702246A5051613263 @default.
- W814702246 hasConcept C110251889 @default.
- W814702246 hasConcept C115903868 @default.
- W814702246 hasConcept C121332964 @default.
- W814702246 hasConcept C156325763 @default.
- W814702246 hasConcept C163258240 @default.
- W814702246 hasConcept C166955791 @default.
- W814702246 hasConcept C166957645 @default.
- W814702246 hasConcept C184337299 @default.
- W814702246 hasConcept C199360897 @default.
- W814702246 hasConcept C2776505523 @default.
- W814702246 hasConcept C2780992000 @default.
- W814702246 hasConcept C33923547 @default.
- W814702246 hasConcept C41008148 @default.
- W814702246 hasConcept C45357846 @default.
- W814702246 hasConcept C48103436 @default.
- W814702246 hasConcept C62520636 @default.
- W814702246 hasConcept C94375191 @default.
- W814702246 hasConcept C95457728 @default.
- W814702246 hasConcept C98183937 @default.
- W814702246 hasConceptScore W814702246C110251889 @default.
- W814702246 hasConceptScore W814702246C115903868 @default.
- W814702246 hasConceptScore W814702246C121332964 @default.
- W814702246 hasConceptScore W814702246C156325763 @default.
- W814702246 hasConceptScore W814702246C163258240 @default.
- W814702246 hasConceptScore W814702246C166955791 @default.
- W814702246 hasConceptScore W814702246C166957645 @default.
- W814702246 hasConceptScore W814702246C184337299 @default.
- W814702246 hasConceptScore W814702246C199360897 @default.
- W814702246 hasConceptScore W814702246C2776505523 @default.
- W814702246 hasConceptScore W814702246C2780992000 @default.
- W814702246 hasConceptScore W814702246C33923547 @default.
- W814702246 hasConceptScore W814702246C41008148 @default.
- W814702246 hasConceptScore W814702246C45357846 @default.
- W814702246 hasConceptScore W814702246C48103436 @default.
- W814702246 hasConceptScore W814702246C62520636 @default.
- W814702246 hasConceptScore W814702246C94375191 @default.
- W814702246 hasConceptScore W814702246C95457728 @default.
- W814702246 hasConceptScore W814702246C98183937 @default.
- W814702246 hasLocation W8147022461 @default.
- W814702246 hasOpenAccess W814702246 @default.
- W814702246 hasPrimaryLocation W8147022461 @default.
- W814702246 hasRelatedWork W1511206963 @default.
- W814702246 hasRelatedWork W1530563348 @default.
- W814702246 hasRelatedWork W1579389332 @default.
- W814702246 hasRelatedWork W1593351982 @default.
- W814702246 hasRelatedWork W1745668638 @default.
- W814702246 hasRelatedWork W181636263 @default.
- W814702246 hasRelatedWork W1842273274 @default.
- W814702246 hasRelatedWork W1965570240 @default.
- W814702246 hasRelatedWork W2003383686 @default.
- W814702246 hasRelatedWork W2043510123 @default.
- W814702246 hasRelatedWork W2059952125 @default.
- W814702246 hasRelatedWork W2111560512 @default.
- W814702246 hasRelatedWork W2159839874 @default.
- W814702246 hasRelatedWork W2165335491 @default.
- W814702246 hasRelatedWork W2246105489 @default.
- W814702246 hasRelatedWork W3120927102 @default.
- W814702246 hasRelatedWork W3153343958 @default.
- W814702246 hasRelatedWork W3168724739 @default.
- W814702246 hasRelatedWork W3174096980 @default.
- W814702246 hasRelatedWork W2185670127 @default.
- W814702246 isParatext "false" @default.
- W814702246 isRetracted "false" @default.
- W814702246 magId "814702246" @default.
- W814702246 workType "article" @default.