Matches in SemOpenAlex for { <https://semopenalex.org/work/W1584443308> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W1584443308 endingPage "58" @default.
- W1584443308 startingPage "51" @default.
- W1584443308 abstract "In this note, we illustrate how parameterised Boolean equation systems can be employed for verifying system correctness. Several small examples are used to give a flavour of the more common techniques available for conducting typical verifications in this setting.We finish with a short discussion of the research challenges that lie ahead." @default.
- W1584443308 created "2016-06-24" @default.
- W1584443308 creator A5042194099 @default.
- W1584443308 date "2010-01-01" @default.
- W1584443308 modified "2023-09-26" @default.
- W1584443308 title "Verification using parameterised Boolean equation systems" @default.
- W1584443308 hasPublicationYear "2010" @default.
- W1584443308 type Work @default.
- W1584443308 sameAs 1584443308 @default.
- W1584443308 citedByCount "0" @default.
- W1584443308 crossrefType "journal-article" @default.
- W1584443308 hasAuthorship W1584443308A5042194099 @default.
- W1584443308 hasConcept C11413529 @default.
- W1584443308 hasConcept C41008148 @default.
- W1584443308 hasConcept C55439883 @default.
- W1584443308 hasConcept C80444323 @default.
- W1584443308 hasConceptScore W1584443308C11413529 @default.
- W1584443308 hasConceptScore W1584443308C41008148 @default.
- W1584443308 hasConceptScore W1584443308C55439883 @default.
- W1584443308 hasConceptScore W1584443308C80444323 @default.
- W1584443308 hasLocation W15844433081 @default.
- W1584443308 hasOpenAccess W1584443308 @default.
- W1584443308 hasPrimaryLocation W15844433081 @default.
- W1584443308 hasRelatedWork W1515916453 @default.
- W1584443308 hasRelatedWork W1568774519 @default.
- W1584443308 hasRelatedWork W1569633930 @default.
- W1584443308 hasRelatedWork W1649347715 @default.
- W1584443308 hasRelatedWork W1998165561 @default.
- W1584443308 hasRelatedWork W2086703390 @default.
- W1584443308 hasRelatedWork W2137313863 @default.
- W1584443308 hasRelatedWork W2185453396 @default.
- W1584443308 hasRelatedWork W21963600 @default.
- W1584443308 hasRelatedWork W2260592993 @default.
- W1584443308 hasRelatedWork W2294895074 @default.
- W1584443308 hasRelatedWork W2346618204 @default.
- W1584443308 hasRelatedWork W2397181844 @default.
- W1584443308 hasRelatedWork W2502580831 @default.
- W1584443308 hasRelatedWork W2554441166 @default.
- W1584443308 hasRelatedWork W2891653194 @default.
- W1584443308 hasRelatedWork W3021273075 @default.
- W1584443308 hasRelatedWork W346247965 @default.
- W1584443308 hasRelatedWork W822763789 @default.
- W1584443308 hasRelatedWork W2615062305 @default.
- W1584443308 hasVolume "2010" @default.
- W1584443308 isParatext "false" @default.
- W1584443308 isRetracted "false" @default.
- W1584443308 magId "1584443308" @default.
- W1584443308 workType "article" @default.