Quantified differential invariants

Συγγραφείς: André Platzer

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://symbolaris.com/pub/Qdiffind.pdf.

Θεματικοί όροι: Verification, Theory, Algorithms Keywords Distributed hybrid systems, verification logic, quantified differential equations, quantified differential invariants

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.8468; http://symbolaris.com/pub/Qdiffind.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.8468
http://symbolaris.com/pub/Qdiffind.pdf