Skip to main content
Conference Proceedings

Selected methods of model checking using SAT and SMT-solvers

Advances in Intelligent Systems and Computing (2015) 372 231-232
DOI: 10.1007/978-3-319-19629-9_27
1Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

The objectives of this research are to further investigate the foundations for novel SMT and SAT-based bounded model checking (BMC) algorithms for real-time and multi-agent systems. A major part of the research will involve the development of SMT-based BMC methods for different kinds of Kripke structures, interpreted systems for different kinds of temporal languages.

Author supplied keywords

Cite

CITATION STYLE

APA

Zbrzezny, A. M. (2015). Selected methods of model checking using SAT and SMT-solvers. In Advances in Intelligent Systems and Computing (Vol. 372, pp. 231–232). Springer Verlag. https://doi.org/10.1007/978-3-319-19629-9_27

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free