1,382 followers
RT @ariegurfinkel: @krismicinski @ShriramKMurthi @MarisaVeryMoe I can recommmed Spacer (https://t.co/T1yVUGOdxk) , polypdr ( https://t.co/z…
RT @ariegurfinkel: @krismicinski @ShriramKMurthi @MarisaVeryMoe I can recommmed Spacer (https://t.co/T1yVUGOdxk) , polypdr ( https://t.co/z…
@krismicinski @ShriramKMurthi @MarisaVeryMoe I can recommmed Spacer (https://t.co/T1yVUGOdxk) , polypdr ( https://t.co/zJGc0sSLvJ) , and ice (https://t.co/sOjXK5kTic ) for different interpretations of IC3/PDR and variants
この論文読んでるんだけど SGL より難しい https://t.co/50mTN5e12j
Verification, Model Checking, and Abstract Interpretation #VMCAI2017 https://t.co/msjEsNWZtp #LNCS #TCS #springer