tpadoan

I am a PhD student in the Computer Science curriculum of the Brain, Mind and Computer Science doctoral program at the University of Padova.

Pinned Repositories

TCWB
True Concurrency Workbench: a tool for model-checking true concurrency properties on Petri nets.
Language:Haskell11

tpadoan's Repositories

tpadoan/TCWB
True Concurrency Workbench: a tool for model-checking true concurrency properties on Petri nets.
Language:Haskell11