Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?

Thanks in advance!

Follow

@otini in fact, I'd like to follow some of such people too ;) I am currently learning in that direction

Sign in to participate in the conversation
Mastodon for Tech Folks

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!