Pinned Repositories
lockout
A tool to increase the probability of deadlock occurrence
p4-semantics
Formal Semantics of P4 in K
anime_public
Automatic Network Intent Miner (Anime)
Break
A compiler that breaks your code, or sort of!
carrillo-lipman-astar
Implementation of the A* Algorithm with the Carillo-Lipman Heuristic for Multiple Sequence Alignment with SP-Score
config2spec
Mining Network Specifications from Network Configurations
datasets
Data sets for experiments and performance evaluations of Delta-net
DHT
Distributed Hash Table (Chord protocol)
k
The K tools
replaymop
Deterministic replay of concurrent Java programs using monitoring oriented programming
kheradmand's Repositories
kheradmand/anime_public
Automatic Network Intent Miner (Anime)
kheradmand/replaymop
Deterministic replay of concurrent Java programs using monitoring oriented programming
kheradmand/Break
A compiler that breaks your code, or sort of!
kheradmand/carrillo-lipman-astar
Implementation of the A* Algorithm with the Carillo-Lipman Heuristic for Multiple Sequence Alignment with SP-Score
kheradmand/config2spec
Mining Network Specifications from Network Configurations
kheradmand/datasets
Data sets for experiments and performance evaluations of Delta-net
kheradmand/DHT
Distributed Hash Table (Chord protocol)
kheradmand/k
The K tools
kheradmand/kweb
Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
kheradmand/lockout
A tool to increase the probability of deadlock occurrence
kheradmand/ml-systems-eval
kheradmand/p4-spec
kheradmand/p4xos-public
kheradmand/PPACS
Privacy Preserving Access Control System
kheradmand/rvm-parser
Parsing RVM and MOP specifications using K framework
kheradmand/verdict-hotnets20