Matches in SemOpenAlex for { <https://semopenalex.org/work/W2250002904> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2250002904 startingPage "70" @default.
- W2250002904 abstract "We describe a tool framework for certifying properties of sequential function chart (SFC)based system specifications: CertPLC. CertPLC handles programmable logic controller (PLC) descriptions provided in the SFC language of the IEC 61131–3 standard. It provides routines tocertify properties of systems by delivering an independently checkable formal system description and proof (called certificate) for the desired properties. We focus on properties that can bedescribed as inductive invariants. System descriptions and certificates are generated and handled using the Coq proof assistant. Our tool framework is used to provide supporting evidence for the safety of embedded systems in the industrial automation domain to third-party authorities. In this paper we focus on the tool's architecture, requirements and implementation aspects." @default.
- W2250002904 created "2016-06-24" @default.
- W2250002904 creator A5039614631 @default.
- W2250002904 date "2012-01-01" @default.
- W2250002904 modified "2023-09-24" @default.
- W2250002904 title "A Tool for the Certification of Sequential Function Chart based System Specifications" @default.
- W2250002904 doi "https://doi.org/10.4230/oasics.ssv.2011.57" @default.
- W2250002904 hasPublicationYear "2012" @default.
- W2250002904 type Work @default.
- W2250002904 sameAs 2250002904 @default.
- W2250002904 citedByCount "0" @default.
- W2250002904 crossrefType "proceedings-article" @default.
- W2250002904 hasAuthorship W2250002904A5039614631 @default.
- W2250002904 hasConcept C105795698 @default.
- W2250002904 hasConcept C108710211 @default.
- W2250002904 hasConcept C111919701 @default.
- W2250002904 hasConcept C115901376 @default.
- W2250002904 hasConcept C115903868 @default.
- W2250002904 hasConcept C120665830 @default.
- W2250002904 hasConcept C121332964 @default.
- W2250002904 hasConcept C127413603 @default.
- W2250002904 hasConcept C134306372 @default.
- W2250002904 hasConcept C14036430 @default.
- W2250002904 hasConcept C17744445 @default.
- W2250002904 hasConcept C190812933 @default.
- W2250002904 hasConcept C192209626 @default.
- W2250002904 hasConcept C199360897 @default.
- W2250002904 hasConcept C199539241 @default.
- W2250002904 hasConcept C203265346 @default.
- W2250002904 hasConcept C206880738 @default.
- W2250002904 hasConcept C2524010 @default.
- W2250002904 hasConcept C33923547 @default.
- W2250002904 hasConcept C36503486 @default.
- W2250002904 hasConcept C37374048 @default.
- W2250002904 hasConcept C41008148 @default.
- W2250002904 hasConcept C46304622 @default.
- W2250002904 hasConcept C78458016 @default.
- W2250002904 hasConcept C78519656 @default.
- W2250002904 hasConcept C80444323 @default.
- W2250002904 hasConcept C86803240 @default.
- W2250002904 hasConcept C96865113 @default.
- W2250002904 hasConceptScore W2250002904C105795698 @default.
- W2250002904 hasConceptScore W2250002904C108710211 @default.
- W2250002904 hasConceptScore W2250002904C111919701 @default.
- W2250002904 hasConceptScore W2250002904C115901376 @default.
- W2250002904 hasConceptScore W2250002904C115903868 @default.
- W2250002904 hasConceptScore W2250002904C120665830 @default.
- W2250002904 hasConceptScore W2250002904C121332964 @default.
- W2250002904 hasConceptScore W2250002904C127413603 @default.
- W2250002904 hasConceptScore W2250002904C134306372 @default.
- W2250002904 hasConceptScore W2250002904C14036430 @default.
- W2250002904 hasConceptScore W2250002904C17744445 @default.
- W2250002904 hasConceptScore W2250002904C190812933 @default.
- W2250002904 hasConceptScore W2250002904C192209626 @default.
- W2250002904 hasConceptScore W2250002904C199360897 @default.
- W2250002904 hasConceptScore W2250002904C199539241 @default.
- W2250002904 hasConceptScore W2250002904C203265346 @default.
- W2250002904 hasConceptScore W2250002904C206880738 @default.
- W2250002904 hasConceptScore W2250002904C2524010 @default.
- W2250002904 hasConceptScore W2250002904C33923547 @default.
- W2250002904 hasConceptScore W2250002904C36503486 @default.
- W2250002904 hasConceptScore W2250002904C37374048 @default.
- W2250002904 hasConceptScore W2250002904C41008148 @default.
- W2250002904 hasConceptScore W2250002904C46304622 @default.
- W2250002904 hasConceptScore W2250002904C78458016 @default.
- W2250002904 hasConceptScore W2250002904C78519656 @default.
- W2250002904 hasConceptScore W2250002904C80444323 @default.
- W2250002904 hasConceptScore W2250002904C86803240 @default.
- W2250002904 hasConceptScore W2250002904C96865113 @default.
- W2250002904 hasLocation W22500029041 @default.
- W2250002904 hasOpenAccess W2250002904 @default.
- W2250002904 hasPrimaryLocation W22500029041 @default.
- W2250002904 hasRelatedWork W1520118137 @default.
- W2250002904 hasRelatedWork W1530361204 @default.
- W2250002904 hasRelatedWork W1541859620 @default.
- W2250002904 hasRelatedWork W175550112 @default.
- W2250002904 hasRelatedWork W18978790 @default.
- W2250002904 hasRelatedWork W2012067044 @default.
- W2250002904 hasRelatedWork W2020417654 @default.
- W2250002904 hasRelatedWork W2022862275 @default.
- W2250002904 hasRelatedWork W2064172314 @default.
- W2250002904 hasRelatedWork W2085482477 @default.
- W2250002904 hasRelatedWork W2088654757 @default.
- W2250002904 hasRelatedWork W2100532022 @default.
- W2250002904 hasRelatedWork W2147544493 @default.
- W2250002904 hasRelatedWork W2160525245 @default.
- W2250002904 hasRelatedWork W2164892954 @default.
- W2250002904 hasRelatedWork W2556100906 @default.
- W2250002904 hasRelatedWork W2559834736 @default.
- W2250002904 hasRelatedWork W3067316790 @default.
- W2250002904 hasRelatedWork W307060539 @default.
- W2250002904 hasRelatedWork W346883203 @default.
- W2250002904 isParatext "false" @default.
- W2250002904 isRetracted "false" @default.
- W2250002904 magId "2250002904" @default.
- W2250002904 workType "article" @default.