Zobrazeno 1 - 8
of 8
pro vyhledávání: '"DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE)"'
Autor:
David Basin, Christoph Sprenger
Publikováno v:
Technical Report, 736
2012 IEEE 25th Computer Security Foundations Symposium (CSF)
CSF
2012 IEEE 25th Computer Security Foundations Symposium (CSF)
CSF
2012 IEEE 25th Computer Security Foundations Symposium (CSF)
ISBN:978-1-4673-1918-8
ISBN:978-0-7695-4718-3
ISBN:978-1-4673-1918-8
ISBN:978-0-7695-4718-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2613c6601cf3fa3820244ed450578d68
https://hdl.handle.net/20.500.11850/42383
https://hdl.handle.net/20.500.11850/42383
Publikováno v:
Technical report, 714
JML is a complex specication language for Java. Its large scale and manifold features make it hard to precisely dene its semantics in a reference manual. It is thus desirable to formally specify the syntax and semantics of JML. There are many good re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfa544c5f13531fb8698fad78d81bc68
Autor:
Brucker, Achim D., Wolff, Burkhart
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 525
Technical Report / ETH Zurich, Department of Computer Science, 525
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8fc75ecdff9d6d8b171a2956ec151aae
Publikováno v:
Scopus-Elsevier
Technical report, 473
Leveraging Applications of Formal Methods ISBN: 9783540489283
ISoLA
Technical report, 473
Leveraging Applications of Formal Methods ISBN: 9783540489283
ISoLA
Symbolic software verification engines such as Slam and ESC/Java often use automatic theorem provers to implement forms of symbolic simulation. The theorem provers that are used, such as Simplify, usually combine decision procedures for the theories
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c432609b6461583226fe073ec0d551b
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 436
Technical Report / ETH Zurich, Department of Computer Science, 436
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37670ea009f6e9327715b2c22e1a56d7