A hierarchy of proof rules for checking differential invariance of algebraic sets

@INPROCEEDINGS{DBLP:conf/vmcai/GhorbalSP15,
	pdf = {pub/alginv-bench.pdf},
	slides = {pub/alginv-bench-slides.pdf},
	ref = {DBLP:journals/cl/GhorbalSP17},
	refname = {ComLan'17},
	study = {https://www.lix.polytechnique.fr/~ghorbal/VMCAI2015},

  author    = {Khalil Ghorbal and
               Andrew Sogokon and
               Andr{\'e} Platzer},
  title     = {A Hierarchy of Proof Rules for Checking
               Differential Invariance of Algebraic Sets},
  booktitle = {VMCAI},
  year      = {2015},
  pages     = {431-448},
  doi       = {10.1007/978-3-662-46081-8_24},
  editor    = {Deepak D'Souza and
               Akash Lal and
               Kim Guldstrand Larsen},
  longbooktitle = {Verification, Model Checking, and Abstract
               Interpretation - 16th International Conference,
               {VMCAI} 2015, Mumbai, India, January 12-14, 2015,
               Proceedings},
  series    = {LNCS},
  volume    = {8931},
  publisher = {Springer},
}```