Search Results - "program verification"
Suggested Topics within your search.
Suggested Topics within your search.
- formal logic 2
- model checking 2
- program verification 2
- semantics 2
- theorem proving 2
- Artificial Intelligence 1
- Computer Science Logic and Foundations of Programming 1
- Computer architecture & logic design 1
- Computer programming / software engineering 1
- Formal Languages and Automata Theory 1
- Logics and Meanings of Programs 1
- Mathematical Logic and Formal Languages 1
- Mathematical theory of computation 1
- QA75.5-76.95 1
- Software Engineering 1
- artificial intelligence 1
- automata theory 1
- bic Book Industry Communication::U Computing & information technology::UY Computer science 1
- boolean functions 1
- computer architecture 1
- computer programming 1
- computer software selection and evaluation 1
- distributed computer systems 1
- first order logic 1
- formal languages 1
- formal model 1
- java 1
- logic programming 1
- processors 1
- program compilers 1
-
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2021Subjects: “…program verification…”
Get full text
Online -
Automated Deduction – CADE 28
Published 2021Subjects: “…program verification…”
Get full text
Online