dalvandi

Formal verification engineer and researcher. Software developer.

Southampton

Pinned Repositories

CodeGen
CodeGenRelease
00
congen
Event-B to Dafny Contract Generator Plugin
Language:Java10
dalvandi.github.io
Language:Isabelle00
DupliRemover
Language:Java00
Farsi2LatinUTF8Digits
Converting UTF-8 Farsi/Arabic digits in a string to Latin digits.
Language:PHP00
intToFarsiText
Transforming integer values to their written Persian/Farsi text.
Language:JavaScript00
simple-b-template
A very simple Bootsrap template
Language:HTML00
TreeVisualiser
Language:Java00
weakTML
Language:C00
PRiME_CodeGen
PRiME Event-B Code Generation Tool
Language:Java1 8 01

dalvandi's Repositories

dalvandi/congen
Event-B to Dafny Contract Generator Plugin
Language:Java10
dalvandi/CodeGen
CodeGenRelease
00
dalvandi/dalvandi.github.io
Language:Isabelle00
dalvandi/DupliRemover
Language:Java00
dalvandi/Farsi2LatinUTF8Digits
Converting UTF-8 Farsi/Arabic digits in a string to Latin digits.
Language:PHP00
dalvandi/intToFarsiText
Transforming integer values to their written Persian/Farsi text.
Language:JavaScript00
dalvandi/simple-b-template
A very simple Bootsrap template
Language:HTML00
dalvandi/TreeVisualiser
Language:Java00
dalvandi/weakTML
Language:C00