Mauricio Toro Bermudez

This is a list of open source software projects that Mauricio Toro Bermudez is associated with:

• GeLisp   Last Updated: 2023-04-20
• Recognition of Playing Cards with webcam   Last Updated: 2023-04-19
• The ntcc bounded-time Model Checker to prove if a CLTL formula satisfy a ntcc process Last Updated: 2022-11-16
• a generic NTCC interpreter capable of RT   Last Updated: 2023-04-19
• ntccKMC ntccKMC: A Kripke-structure-based model checker for ntcc Last Updated: 2023-04-10