Stars
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
Security Research from the Microsoft Security Response Center (MSRC)
A Python Implementation to convert Regular Expression directly to DFA
Haskell to VHDL/Verilog/SystemVerilog compiler
Automata-based monitoring framework for first-order LTL