Tephilla
Currently interested in algorithms, formal methods and their intersections. Enjoys building tools in general
India
Pinned Repositories
ITS-commandline
A project to host command-line version of ITS-Tools components embedded in eclipse
ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
logicforcs
Profile
RecordedTalks
a place to keep info about Women in Logic https://www.womeninlogic.org/
safety-verification
SMT-based verification of safety properties in two ways
tephilla.github.io
RecordedTalks
a place to keep info about Women in Logic https://www.womeninlogic.org/
Tephilla's Repositories
Tephilla/safety-verification
SMT-based verification of safety properties in two ways
Tephilla/ITS-commandline
A project to host command-line version of ITS-Tools components embedded in eclipse
Tephilla/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
Tephilla/logicforcs
Tephilla/Profile
Tephilla/RecordedTalks
a place to keep info about Women in Logic https://www.womeninlogic.org/
Tephilla/tephilla.github.io