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', 'Andrew Sogokon', 'André 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", 'Akash Lal', '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}
}