Matches in SemOpenAlex for { <https://semopenalex.org/work/W348652384> ?p ?o ?g. }
- W348652384 abstract "These lectures are intended to give a broad overview of the most important formal verification techniques that are currently used in the hardware industry. They are somewhat biased towards applications of deductive theorem proving (since that is my special area of interest) and away from temporal logic model checking (since there are other lectures on that topic). The arrangement of material is roughly in order of logical complexity, starting with methods for propositional logic and leading up to general theorem proving, then finishing with an extended case study on the verification of a floating-point square root algorithm used by Intel. 1. Propositional logic 2. Symbolic simulation 3. Model checking 4. General theorem proving 5. Case study of floating-point verification The treatment of the various topics is quite superficial, with the aim being overall perspective rather than in-depth understanding. The last lecture is somewhat more detailed and should give a good feel for the realities of formal verification in this field. These notes draw on my forthcoming book on automated theorem proving, and simple-minded example code (written in Objective Caml) illustrating many of the techniques described can be found on my Web page: http://www.cl.cam.ac.uk/users/jrh/atp/index.html" @default.
- W348652384 created "2016-06-24" @default.
- W348652384 creator A5010440892 @default.
- W348652384 date "2003-01-01" @default.
- W348652384 modified "2023-09-27" @default.
- W348652384 title "Verification: Industrial Applications Notes to accompany lectures at 2003 Marktoberdorf Summer School" @default.
- W348652384 cites W137706893 @default.
- W348652384 cites W1488189293 @default.
- W348652384 cites W1490130417 @default.
- W348652384 cites W1490995582 @default.
- W348652384 cites W1494481937 @default.
- W348652384 cites W1497011154 @default.
- W348652384 cites W1498523273 @default.
- W348652384 cites W1498682591 @default.
- W348652384 cites W1503170978 @default.
- W348652384 cites W1509799206 @default.
- W348652384 cites W1511155470 @default.
- W348652384 cites W1514729613 @default.
- W348652384 cites W1519028982 @default.
- W348652384 cites W1521083034 @default.
- W348652384 cites W1527970981 @default.
- W348652384 cites W1531350193 @default.
- W348652384 cites W1534850143 @default.
- W348652384 cites W1539457702 @default.
- W348652384 cites W1539838732 @default.
- W348652384 cites W1551406732 @default.
- W348652384 cites W1553142094 @default.
- W348652384 cites W1554747120 @default.
- W348652384 cites W1565880154 @default.
- W348652384 cites W1580409978 @default.
- W348652384 cites W1582162693 @default.
- W348652384 cites W1582385421 @default.
- W348652384 cites W1586167239 @default.
- W348652384 cites W1588380009 @default.
- W348652384 cites W1590315663 @default.
- W348652384 cites W1594496874 @default.
- W348652384 cites W1597068544 @default.
- W348652384 cites W1603543937 @default.
- W348652384 cites W1607953571 @default.
- W348652384 cites W1637349059 @default.
- W348652384 cites W1679534293 @default.
- W348652384 cites W1705210632 @default.
- W348652384 cites W1778289469 @default.
- W348652384 cites W1787074469 @default.
- W348652384 cites W1904726244 @default.
- W348652384 cites W1959501033 @default.
- W348652384 cites W1970045008 @default.
- W348652384 cites W1986396242 @default.
- W348652384 cites W1986558678 @default.
- W348652384 cites W1992006255 @default.
- W348652384 cites W1994143452 @default.
- W348652384 cites W1998522605 @default.
- W348652384 cites W2004306067 @default.
- W348652384 cites W2005090804 @default.
- W348652384 cites W2005973420 @default.
- W348652384 cites W2011968344 @default.
- W348652384 cites W2015376829 @default.
- W348652384 cites W2015640848 @default.
- W348652384 cites W2023462640 @default.
- W348652384 cites W2023808162 @default.
- W348652384 cites W2036265926 @default.
- W348652384 cites W2046213250 @default.
- W348652384 cites W2055692640 @default.
- W348652384 cites W2057361103 @default.
- W348652384 cites W2061438988 @default.
- W348652384 cites W2062897452 @default.
- W348652384 cites W2066631612 @default.
- W348652384 cites W2068028167 @default.
- W348652384 cites W2069224897 @default.
- W348652384 cites W2080267935 @default.
- W348652384 cites W2085089824 @default.
- W348652384 cites W2099251677 @default.
- W348652384 cites W2100738443 @default.
- W348652384 cites W2103953153 @default.
- W348652384 cites W2105738025 @default.
- W348652384 cites W2108016168 @default.
- W348652384 cites W2114804254 @default.
- W348652384 cites W2126160338 @default.
- W348652384 cites W2128057448 @default.
- W348652384 cites W2142785340 @default.
- W348652384 cites W2148360835 @default.
- W348652384 cites W2157127957 @default.
- W348652384 cites W2283240724 @default.
- W348652384 cites W2323777246 @default.
- W348652384 cites W2331346174 @default.
- W348652384 cites W2340735175 @default.
- W348652384 cites W2482762127 @default.
- W348652384 cites W2493675876 @default.
- W348652384 cites W2742270218 @default.
- W348652384 cites W2788241533 @default.
- W348652384 cites W2913459036 @default.
- W348652384 cites W2913795799 @default.
- W348652384 cites W588570749 @default.
- W348652384 cites W80336116 @default.
- W348652384 hasPublicationYear "2003" @default.
- W348652384 type Work @default.
- W348652384 sameAs 348652384 @default.
- W348652384 citedByCount "0" @default.
- W348652384 crossrefType "journal-article" @default.
- W348652384 hasAuthorship W348652384A5010440892 @default.