Jorge Sousa Pinto

Universidade do Minho - DI/CCTC

Site Navigation[Skip]

  • Rigorous SW Development (Textbook)
  • Projects
  • Events
  • Publications
  • Technical Reports and Drafts
  • Research Opportunities
  • Students
  • Teaching

Sidebar[Skip]

Past Projects

  • LerNet
  • PURe

Projects

FAVAS: A FormAl Verification PlAtform for real-time Systems

CROSS: An Infrastructure for Certification and Re-engineering of Open Source Software

CACE: Computer Aided Cryptography Engineering

RESCUE: REliable and Safe Code execUtion for Embedded systems
[Back To Top]