« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
Uni-Logo
You are here: Home Team Marco Muniz
Document Actions

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 

Personal tools