Pinned Repositories
akaydesai.github.io
congruence-closure
Verification of the congruence closure algorithm in Coq using dependent types.
kludgeCMS
A(almost complete) rudimentary CMS comissioned for NSS Cell of Goa University in 2014.
kscreen
KDE's screen management software
mcsv-CTL
Simple CTL(Computational Tree Logic) model checker(as part of Model Checking and Software Verification coursework.).
mcsv-LTL
Simple bounded model checker for LTL(Linear Temporal Logic). (as part of Model Checking and Software Verification coursework.).
PDR-LIA
Implementation of Property Directed Reachability for linear integer arithmetic; based on "Efficient Implementation of Property Directed Reachability" by Niklas Een, Alan Mishchenko, Robert Brayton
so-simple-theme
A simple Jekyll theme for words and pictures.
undistract-me
Notifies you when long-running terminal commands complete
undistract-me
Notifies you when long-running terminal commands complete
akaydesai's Repositories
akaydesai/PDR-LIA
Implementation of Property Directed Reachability for linear integer arithmetic; based on "Efficient Implementation of Property Directed Reachability" by Niklas Een, Alan Mishchenko, Robert Brayton
akaydesai/congruence-closure
Verification of the congruence closure algorithm in Coq using dependent types.
akaydesai/mcsv-LTL
Simple bounded model checker for LTL(Linear Temporal Logic). (as part of Model Checking and Software Verification coursework.).
akaydesai/akaydesai.github.io
akaydesai/kludgeCMS
A(almost complete) rudimentary CMS comissioned for NSS Cell of Goa University in 2014.
akaydesai/kscreen
KDE's screen management software
akaydesai/mcsv-CTL
Simple CTL(Computational Tree Logic) model checker(as part of Model Checking and Software Verification coursework.).
akaydesai/so-simple-theme
A simple Jekyll theme for words and pictures.
akaydesai/undistract-me
Notifies you when long-running terminal commands complete