Publications

  1. 2017
  2. Published

    Set of Support for Theory Reasoning

    Reger, G. & Suda, M., 4 Jun 2017, 12th International Workshop on the Implementation of Logics .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    First-Order Interpolation and Interpolating Proofs Systems

    Kovacs, L. & Voronkov, A., 4 May 2017, LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning . Vol. 46.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    Bounded model checking of C plus plus programs based on the Qt cross-platform framework

    Monteiro, F. R., Garcia, M. A. P., Cordeiro, L. C. & de Lima Filho, E. B., May 2017, In : Software Testing, Verification and Reliability. 27, 3

    Research output: Contribution to journalArticle

  5. Published

    Handling loops in bounded model checking of C programs via k-induction

    Gadelha, M. Y. R., Ismail, H. I. & Cordeiro, L. C., 1 Feb 2017, In : International Journal on Software Tools for Technology Transfer. 19, 1, p. 97-114

    Research output: Contribution to journalArticle

  6. Accepted/In press

    Verifying Digital Systems with MATLAB

    Chaves, L., Bessa, I., Cordeiro, L., Kroening, D. & Lima, E., Feb 2017, (Accepted/In press) 26th ACM SIGSOFT International Symposium on Software Testing and Analysis .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    Instantiation and pretending to be an SMT solver with VAMPIRE

    Reger, G., Suda, M. & Voronkov, A., 1 Jan 2017, In : CEUR Workshop Proceedings. 1889

    Research output: Contribution to journalConference article

  8. Published

    Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 2017, COMPUTER AIDED VERIFICATION, CAV 2017, PT I. Vol. 10426. p. 462-482 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 2017, In : Lecture Notes in Computer Science.

    Research output: Contribution to journalArticle

  10. Published
  11. Published

    Bounded model checking of C++ programs based on the Qt cross-platform framework: BMC of C++ Programs based on Qt Cross-Platform Framework

    Monteiro, F. R., Garcia, M. A. P., Cordeiro, L. C. & De Lima Filho, E. B., 2017, In : Software Testing, Verification and Reliability. 27, 3, p. e1632

    Research output: Contribution to journalArticle

Previous 1...4 5 6 7 8 9 10 11 ...14 Next
Return to faculty and school overview