Skip to content

Mateus Borges

  • Carnegie Mellon University
  • 0ReadersNumber of instances of Mateus's publications in Mendeley libraries. Updated daily.
  • 1PublicationsNumber of items in Mateus's My Publications folder on Mendeley.

Research interests

model checkingsymbolic execution

Publications (1)

  • CORAL: Solving Complex Constraints for Symbolic PathFinder

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

Education history

Carnegie Mellon University