You are here: Home Team Marco Muniz

Marco Muñiz

 

 


News

Currently I am a post doctoral researcher at Aalborg University. New web site  here


Research Interests

Decision Procedures, Model Checking

 

Research

I am working on Verification of Software and Real-Time Systems via model-checking and Automated theorem proving. My current work include:  Teaching, abstraction techniques and the design of the Hybrid Model Checker SASET. 

   

 Publications

 

Tools

  • Designing and implementing in Ocaml the hybrid model checker SASET.
  • Modeling using the UPPAAL model checker.
  • Working with the Jahob Verification System for reasoning about reachability in Trees and Lists.

 

Teaching

 

Misc

I am also