by
Weiß, Benjamin
Format:
Books
Excerpt:
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate
by
Penczek, Wojciech. author.
Format:
Electronic Resources
Excerpt:
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach / Penczek
View Other Search Results
by
Chockler, Hana
Format:
Books
Excerpt:
Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I Chockler, Hana
by
Chockler, Hana
Format:
Books
Excerpt:
Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II Chockler, Hana
by
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
Format:
Electronic Resources
Excerpt:
Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / Chockler, Hana. editor
by
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
Format:
Electronic Resources
Excerpt:
Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / Chockler, Hana. editor
by
Pendyala, Vishnu.
Format:
Electronic Resources
Excerpt:
Verification (Logic) -- Computer programs.
by
Maxwell, Grover.
Format:
Electronic Resources
Excerpt:
Verification (Logic).
by
Kaeslin, Hubert, author.
Format:
Electronic Resources
Excerpt:
-- Circuit modeling with hardware description languages -- Functional verification -- The case of synchronous
by
Russo, Alessandra
Format:
Books
Excerpt:
computer software maintenance; computer software selection and evaluation; formal logic; formal
by
Beyer, Dirk
Format:
Books
Excerpt:
computer architecture; computer software selection and evaluation; formal logic; formal methods
by
Baier, Christel
Format:
Books
Excerpt:
logic; software engineering; theorem proving; type systems; verification
Limit Search Results