FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491738330> ?p ?o ?g. }

• W1491738330 abstract "Modern electronic systems are constituted by heterogeneous elements, e.g. hardware/software, and are typically embedded. The complexity of this kind of systems is such, that traditional validation techniques, like simulation and testing, are not enough to verify the correctness of these systems. In consequence, new formal verification techniques that overcome the limitations of traditional validation methods and are suitable for hardware/software systems are needed. Formal methods require the system to be represented by a formal computational model with clear semantics. We present a Petri net based representation, called PRES, which is able to capture information relevant to embedded systems. This report also explores an approach to formal verification of embedded systems in which the underlying representation is PRES. We use symbolic model checking to prove the correctness of such systems, specifying properties in CTL and verifying whether they hold under all possible situations. This coverification method permits to reason formally about design properties as well as timing requirements. This work has been done in the frame of the SAVE project, which aims to study the specification and verification of heterogeneous electronic systems." @default.
• W1491738330 created "2016-06-24" @default.
• W1491738330 creator A5001844771 @default.
• W1491738330 creator A5003372884 @default.
• W1491738330 creator A5090531888 @default.
• W1491738330 date "2000-01-01" @default.
• W1491738330 modified "2023-09-22" @default.
• W1491738330 title "Verification Methodology for Heterogeneous Hardware/Software Systems" @default.
• W1491738330 cites W1492259997 @default.
• W1491738330 cites W1525709766 @default.
• W1491738330 cites W1527107169 @default.
• W1491738330 cites W1548536769 @default.
• W1491738330 cites W1994188141 @default.
• W1491738330 cites W1997422892 @default.
• W1491738330 cites W2030224590 @default.
• W1491738330 cites W2033839526 @default.
• W1491738330 cites W2036546797 @default.
• W1491738330 cites W2042801853 @default.
• W1491738330 cites W2073200103 @default.
• W1491738330 cites W2085627526 @default.
• W1491738330 cites W2091051415 @default.
• W1491738330 cites W2096455207 @default.
• W1491738330 cites W2099120582 @default.
• W1491738330 cites W2117189826 @default.
• W1491738330 cites W2122355433 @default.
• W1491738330 cites W2124778357 @default.
• W1491738330 cites W2125739093 @default.
• W1491738330 cites W2128401479 @default.
• W1491738330 cites W2139635405 @default.
• W1491738330 cites W2146290833 @default.
• W1491738330 cites W2146889362 @default.
• W1491738330 cites W2148663017 @default.
• W1491738330 cites W2158681077 @default.
• W1491738330 cites W2158814988 @default.
• W1491738330 cites W2164403272 @default.
• W1491738330 cites W2169687938 @default.
• W1491738330 cites W2174637891 @default.
• W1491738330 cites W2269226756 @default.
• W1491738330 cites W2542895659 @default.
• W1491738330 cites W3013283234 @default.
• W1491738330 cites W1949274260 @default.
• W1491738330 hasPublicationYear "2000" @default.
• W1491738330 type Work @default.
• W1491738330 sameAs 1491738330 @default.
• W1491738330 citedByCount "0" @default.
• W1491738330 crossrefType "journal-article" @default.
• W1491738330 hasAuthorship W1491738330A5001844771 @default.
• W1491738330 hasAuthorship W1491738330A5003372884 @default.
• W1491738330 hasAuthorship W1491738330A5090531888 @default.
• W1491738330 hasConcept C110251889 @default.
• W1491738330 hasConcept C111498074 @default.
• W1491738330 hasConcept C115903868 @default.
• W1491738330 hasConcept C116253237 @default.
• W1491738330 hasConcept C146499914 @default.
• W1491738330 hasConcept C149091818 @default.
• W1491738330 hasConcept C149635348 @default.
• W1491738330 hasConcept C184337299 @default.
• W1491738330 hasConcept C186846655 @default.
• W1491738330 hasConcept C199360897 @default.
• W1491738330 hasConcept C2777904410 @default.
• W1491738330 hasConcept C33054407 @default.
• W1491738330 hasConcept C38677869 @default.
• W1491738330 hasConcept C41008148 @default.
• W1491738330 hasConcept C55439883 @default.
• W1491738330 hasConcept C75606506 @default.
• W1491738330 hasConcept C96654402 @default.
• W1491738330 hasConceptScore W1491738330C110251889 @default.
• W1491738330 hasConceptScore W1491738330C111498074 @default.
• W1491738330 hasConceptScore W1491738330C115903868 @default.
• W1491738330 hasConceptScore W1491738330C116253237 @default.
• W1491738330 hasConceptScore W1491738330C146499914 @default.
• W1491738330 hasConceptScore W1491738330C149091818 @default.
• W1491738330 hasConceptScore W1491738330C149635348 @default.
• W1491738330 hasConceptScore W1491738330C184337299 @default.
• W1491738330 hasConceptScore W1491738330C186846655 @default.
• W1491738330 hasConceptScore W1491738330C199360897 @default.
• W1491738330 hasConceptScore W1491738330C2777904410 @default.
• W1491738330 hasConceptScore W1491738330C33054407 @default.
• W1491738330 hasConceptScore W1491738330C38677869 @default.
• W1491738330 hasConceptScore W1491738330C41008148 @default.
• W1491738330 hasConceptScore W1491738330C55439883 @default.
• W1491738330 hasConceptScore W1491738330C75606506 @default.
• W1491738330 hasConceptScore W1491738330C96654402 @default.
• W1491738330 hasLocation W14917383301 @default.
• W1491738330 hasOpenAccess W1491738330 @default.
• W1491738330 hasPrimaryLocation W14917383301 @default.
• W1491738330 hasRelatedWork W1541230417 @default.
• W1491738330 hasRelatedWork W1592237504 @default.
• W1491738330 hasRelatedWork W1742691233 @default.
• W1491738330 hasRelatedWork W1755901030 @default.
• W1491738330 hasRelatedWork W2078306261 @default.
• W1491738330 hasRelatedWork W2079846795 @default.
• W1491738330 hasRelatedWork W2091912552 @default.
• W1491738330 hasRelatedWork W2100363700 @default.
• W1491738330 hasRelatedWork W2103709633 @default.
• W1491738330 hasRelatedWork W2142542683 @default.
• W1491738330 hasRelatedWork W2152894214 @default.
• W1491738330 hasRelatedWork W2157421810 @default.
• W1491738330 hasRelatedWork W2160937337 @default.
• W1491738330 hasRelatedWork W2468485249 @default.

• next