Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes

出版年份 2020 全文链接

标题

作者

关键词

Ordinary differential equations, Postconditions, Preconditions, Invariants, Gröbner bases

出版物

Volume 193, Issue -, Pages 102441

出版商

Elsevier BV

发表日期

2020-03-14

DOI

10.1016/j.scico.2020.102441

联系作者

Explore over 38,000 international journals covering a vast array of academic fields.

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now