mmpourhashem

Mohammad Mehdi Pourhashem Kallehbasti, PhD in Software Engineering, Assistant Professor at University of Science and Technology of Mazandaran

@fm-polimi @deib-polimi Behshahr, Iran

Pinned Repositories

LLMSecGuard
LLM Security Guard for Code
Language:Python12 4 03
Corretto
timeconstraint
Language:Java2 11 01
zot
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
Language:NewLisp10 9 95
CorrettoUML
CorrettoUML
Language:Java00
LiTeLLab
Language:Java00
PrLTL
Language:Java00
corretto-uml
Temporal logic verification framework for UML
Language:Java1 2 03

mmpourhashem's Repositories

mmpourhashem/CorrettoUML
CorrettoUML
Language:Java00
mmpourhashem/LiTeLLab
Language:Java00
mmpourhashem/PrLTL
Language:Java00