drewfer

CS People: anyone with formal proof experience? We're toying with some research into style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?

0
🎓 Doc Freemo :jpf: 🇳🇱
Follow

@drewfer I've dealt with a good deal of proofs int he CS world for my own stuff. But I dont usually utilize surveys for proofs. Nothing that comes to mind anyway, sorry.

· · 0 · 0 · 0
drewfer

@freemo apologies, I didn't mean surveys for proofs, I mean papers that discuss the general 'state of the art'.

0
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Trending now

Resources

Developers

What is Mastodon?

qoto.org

More…

v3.5.19-qoto · Privacy policy