FedSearch - Federated network search engine

FedSearch

kripkejoyal · @kripkejoyal

18 followers · 449 posts · Server mathstodon.xyz

#Automata #TreeAutomata
MONA Tools
https://www.brics.dk/mona/

#treeautomata #automata

Last updated 1 year ago

Original post

kripkejoyal · @kripkejoyal

18 followers · 449 posts · Server mathstodon.xyz

#Automata #TreeAutomata
#verification
https://www.cs.cornell.edu/courses/cs711/2005fa/papers/ms-pldi01.pdf

#verification #treeautomata #automata

Last updated 1 year ago

Original post