Skip to content

Mateus Borges

  • Carnegie Mellon University
  • 1PublicationsNumber of items in Mateus's My Publications folder on Mendeley.

Research interests

model checkingsymbolic execution

Groups

Publications (1)

  • CORAL: Solving Complex Constraints for Symbolic PathFinder

    • Souza M
    • Borges M
    • d'Amorim M
    • et al.
    N/AReaders
    N/ACitations

Education

Carnegie Mellon University