alexlesaka
PhD Software Engineer, Postgraduate course in development of Android Applications (UPV), Master Degree in Computer Science (EHU).
Ikerlan Technology Research Centre
Pinned Repositories
VMC_CPL
Verified Model Checking for Conjunctive Positive Logic
carshare
Android app to organize a shared car.
IndustrialCases
NuSMV formalization of an industrial use case.
MomoCTL
NuTA
NuSMV Transition Analyzer
OnePassTableau
Auxiliary files referred from the paper we sent to the conference Time 2019
alexlesaka's Repositories
alexlesaka/MomoCTL
alexlesaka/VMC_CPL
Verified Model Checking for Conjunctive Positive Logic
alexlesaka/NuTA
NuSMV Transition Analyzer
alexlesaka/IndustrialCases
NuSMV formalization of an industrial use case.
alexlesaka/OnePassTableau
Auxiliary files referred from the paper we sent to the conference Time 2019
alexlesaka/carshare
Android app to organize a shared car.