Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743504025> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2743504025 endingPage "203" @default.
- W2743504025 startingPage "197" @default.
- W2743504025 abstract "A formal verification methodology for checking both functional and timing requirements of real-time digital controllers targeted at field programmable gate array technology is proposed. Timed transition systems (TTSs) are used to model both the digital controller circuit and the high-level specification requirements. Timed well-founded simulation (TWFS) refinement is used as the notion of correctness and defines what it means for an implementation TTS to satisfy a specification TTS. The primary contribution is a set of proof obligation templates (based on TWFS refinement) that account for both functional and timing requirements. The proof obligations generated using the templates can be checked using a decision procedure. One of the key ideas is the overloaded use of rank functions (that are typically used for liveness verification) for timing verification. The efficiency and scalability of the approach is demonstrated using three case studies." @default.
- W2743504025 created "2017-08-17" @default.
- W2743504025 creator A5005326868 @default.
- W2743504025 creator A5026467786 @default.
- W2743504025 creator A5033170576 @default.
- W2743504025 date "2017-08-09" @default.
- W2743504025 modified "2023-09-25" @default.
- W2743504025 title "Formal verification methodology for real‐time Field Programmable Gate Array" @default.
- W2743504025 cites W133455360 @default.
- W2743504025 cites W1480909796 @default.
- W2743504025 cites W1503142164 @default.
- W2743504025 cites W1542403854 @default.
- W2743504025 cites W1551213495 @default.
- W2743504025 cites W1614940381 @default.
- W2743504025 cites W1965942262 @default.
- W2743504025 cites W1965953351 @default.
- W2743504025 cites W1988289059 @default.
- W2743504025 cites W2000947342 @default.
- W2743504025 cites W2023499821 @default.
- W2743504025 cites W2046589787 @default.
- W2743504025 cites W2075781909 @default.
- W2743504025 cites W2078940150 @default.
- W2743504025 cites W2082146637 @default.
- W2743504025 cites W2102251512 @default.
- W2743504025 cites W2117296238 @default.
- W2743504025 cites W2128145074 @default.
- W2743504025 cites W2137351629 @default.
- W2743504025 cites W2156314014 @default.
- W2743504025 cites W2032055818 @default.
- W2743504025 doi "https://doi.org/10.1049/iet-cdt.2016.0189" @default.
- W2743504025 hasPublicationYear "2017" @default.
- W2743504025 type Work @default.
- W2743504025 sameAs 2743504025 @default.
- W2743504025 citedByCount "3" @default.
- W2743504025 countsByYear W27435040252020 @default.
- W2743504025 countsByYear W27435040252021 @default.
- W2743504025 crossrefType "journal-article" @default.
- W2743504025 hasAuthorship W2743504025A5005326868 @default.
- W2743504025 hasAuthorship W2743504025A5026467786 @default.
- W2743504025 hasAuthorship W2743504025A5033170576 @default.
- W2743504025 hasConcept C110251889 @default.
- W2743504025 hasConcept C111498074 @default.
- W2743504025 hasConcept C113775141 @default.
- W2743504025 hasConcept C118524514 @default.
- W2743504025 hasConcept C149635348 @default.
- W2743504025 hasConcept C15569618 @default.
- W2743504025 hasConcept C177264268 @default.
- W2743504025 hasConcept C199360897 @default.
- W2743504025 hasConcept C202444582 @default.
- W2743504025 hasConcept C26517878 @default.
- W2743504025 hasConcept C33923547 @default.
- W2743504025 hasConcept C38652104 @default.
- W2743504025 hasConcept C41008148 @default.
- W2743504025 hasConcept C48044578 @default.
- W2743504025 hasConcept C55439883 @default.
- W2743504025 hasConcept C62460635 @default.
- W2743504025 hasConcept C77088390 @default.
- W2743504025 hasConcept C9652623 @default.
- W2743504025 hasConceptScore W2743504025C110251889 @default.
- W2743504025 hasConceptScore W2743504025C111498074 @default.
- W2743504025 hasConceptScore W2743504025C113775141 @default.
- W2743504025 hasConceptScore W2743504025C118524514 @default.
- W2743504025 hasConceptScore W2743504025C149635348 @default.
- W2743504025 hasConceptScore W2743504025C15569618 @default.
- W2743504025 hasConceptScore W2743504025C177264268 @default.
- W2743504025 hasConceptScore W2743504025C199360897 @default.
- W2743504025 hasConceptScore W2743504025C202444582 @default.
- W2743504025 hasConceptScore W2743504025C26517878 @default.
- W2743504025 hasConceptScore W2743504025C33923547 @default.
- W2743504025 hasConceptScore W2743504025C38652104 @default.
- W2743504025 hasConceptScore W2743504025C41008148 @default.
- W2743504025 hasConceptScore W2743504025C48044578 @default.
- W2743504025 hasConceptScore W2743504025C55439883 @default.
- W2743504025 hasConceptScore W2743504025C62460635 @default.
- W2743504025 hasConceptScore W2743504025C77088390 @default.
- W2743504025 hasConceptScore W2743504025C9652623 @default.
- W2743504025 hasIssue "5" @default.
- W2743504025 hasLocation W27435040251 @default.
- W2743504025 hasOpenAccess W2743504025 @default.
- W2743504025 hasPrimaryLocation W27435040251 @default.
- W2743504025 hasRelatedWork W1676163220 @default.
- W2743504025 hasRelatedWork W174127401 @default.
- W2743504025 hasRelatedWork W2063820178 @default.
- W2743504025 hasRelatedWork W2084069859 @default.
- W2743504025 hasRelatedWork W2133819580 @default.
- W2743504025 hasRelatedWork W2465465307 @default.
- W2743504025 hasRelatedWork W2494788524 @default.
- W2743504025 hasRelatedWork W2743504025 @default.
- W2743504025 hasRelatedWork W3158537113 @default.
- W2743504025 hasRelatedWork W2149645486 @default.
- W2743504025 hasVolume "11" @default.
- W2743504025 isParatext "false" @default.
- W2743504025 isRetracted "false" @default.
- W2743504025 magId "2743504025" @default.
- W2743504025 workType "article" @default.