Deprecated: Function WP_Dependencies->add_data() was called with an argument that is deprecated since version 6.9.0! IE conditional comments are ignored by all supported browsers. in /project/cs/netsys/www/netsys/data/wp-includes/functions.php on line 6131

Deprecated: Function WP_Dependencies->add_data() was called with an argument that is deprecated since version 6.9.0! IE conditional comments are ignored by all supported browsers. in /project/cs/netsys/www/netsys/data/wp-includes/functions.php on line 6131

Ivy: Interactive Verification of Parametrized Systems via Effectively Propositional Reasoning

Padon, O., McMillan, K., Panda, A., Sagiv, M. and Shoham, S. Ivy: Interactive Verification of Parametrized Systems via Effectively Propositional Reasoning. PLDI 2016.