Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q173326> ?p ?o }
Showing triples 1 to 81 of
81
with 100 triples per page.
- Q173326 subject Q7153055.
- Q173326 subject Q7464734.
- Q173326 subject Q8411414.
- Q173326 subject Q8466124.
- Q173326 abstract "In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. Examples of mathematical objects often used to model systems are: finite state machines, labelled transition systems, Petri nets, vector addition systems, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.".
- Q173326 wikiPageWikiLink Q1040040.
- Q173326 wikiPageWikiLink Q1049183.
- Q173326 wikiPageWikiLink Q1131652.
- Q173326 wikiPageWikiLink Q11538.
- Q173326 wikiPageWikiLink Q1189746.
- Q173326 wikiPageWikiLink Q1254335.
- Q173326 wikiPageWikiLink Q1329550.
- Q173326 wikiPageWikiLink Q1375924.
- Q173326 wikiPageWikiLink Q1387402.
- Q173326 wikiPageWikiLink Q1437424.
- Q173326 wikiPageWikiLink Q1536492.
- Q173326 wikiPageWikiLink Q1569697.
- Q173326 wikiPageWikiLink Q1570329.
- Q173326 wikiPageWikiLink Q17030435.
- Q173326 wikiPageWikiLink Q173156.
- Q173326 wikiPageWikiLink Q176452.
- Q173326 wikiPageWikiLink Q176468.
- Q173326 wikiPageWikiLink Q1797819.
- Q173326 wikiPageWikiLink Q193076.
- Q173326 wikiPageWikiLink Q1930895.
- Q173326 wikiPageWikiLink Q1970286.
- Q173326 wikiPageWikiLink Q2034790.
- Q173326 wikiPageWikiLink Q2067766.
- Q173326 wikiPageWikiLink Q2429814.
- Q173326 wikiPageWikiLink Q2762418.
- Q173326 wikiPageWikiLink Q2919644.
- Q173326 wikiPageWikiLink Q3152988.
- Q173326 wikiPageWikiLink Q333341.
- Q173326 wikiPageWikiLink Q3408184.
- Q173326 wikiPageWikiLink Q360812.
- Q173326 wikiPageWikiLink Q395.
- Q173326 wikiPageWikiLink Q4117718.
- Q173326 wikiPageWikiLink Q430001.
- Q173326 wikiPageWikiLink Q431667.
- Q173326 wikiPageWikiLink Q460340.
- Q173326 wikiPageWikiLink Q4650692.
- Q173326 wikiPageWikiLink Q4826475.
- Q173326 wikiPageWikiLink Q486902.
- Q173326 wikiPageWikiLink Q4916175.
- Q173326 wikiPageWikiLink Q5155256.
- Q173326 wikiPageWikiLink Q5450405.
- Q173326 wikiPageWikiLink Q5469962.
- Q173326 wikiPageWikiLink Q5953179.
- Q173326 wikiPageWikiLink Q6044160.
- Q173326 wikiPageWikiLink Q613417.
- Q173326 wikiPageWikiLink Q629498.
- Q173326 wikiPageWikiLink Q6460267.
- Q173326 wikiPageWikiLink Q6623915.
- Q173326 wikiPageWikiLink Q6628882.
- Q173326 wikiPageWikiLink Q693083.
- Q173326 wikiPageWikiLink Q7153055.
- Q173326 wikiPageWikiLink Q7233582.
- Q173326 wikiPageWikiLink Q724168.
- Q173326 wikiPageWikiLink Q7248413.
- Q173326 wikiPageWikiLink Q7380130.
- Q173326 wikiPageWikiLink Q7395275.
- Q173326 wikiPageWikiLink Q7464734.
- Q173326 wikiPageWikiLink Q751505.
- Q173326 wikiPageWikiLink Q7603877.
- Q173326 wikiPageWikiLink Q76505.
- Q173326 wikiPageWikiLink Q7661189.
- Q173326 wikiPageWikiLink Q7698924.
- Q173326 wikiPageWikiLink Q7805517.
- Q173326 wikiPageWikiLink Q781833.
- Q173326 wikiPageWikiLink Q792533.
- Q173326 wikiPageWikiLink Q8366.
- Q173326 wikiPageWikiLink Q8411414.
- Q173326 wikiPageWikiLink Q8466124.
- Q173326 wikiPageWikiLink Q865760.
- Q173326 wikiPageWikiLink Q880371.
- Q173326 wikiPageWikiLink Q997433.
- Q173326 wikiPageWikiLink Q79951.
- Q173326 type Thing.
- Q173326 comment "In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. ".
- Q173326 label "Formal verification".
- Q173326 differentFrom Q2297476.