An axiomatic approach to existence and liveness for differential equations

HIGHLIGHTS

• who: Yong Kiam Tan from the Computer Science Department, Carnegie Mellon University, Forbes Pittsburgh, PA, USA have published the article: An axiomatic approach to existence and liveness for differential equations, in the Journal: (JOURNAL)
• what: Throughout this article, core dL axioms underlying the refinement approach are presented as lemmas, which are summarized and proved in Appendix A. Existence and liveness proof rules that are derived syntactically from those axioms, e_g, Table 1, are listed as corollaries and their derivations are given in Appendix B. Counterexamples explaining the soundness errors in Table 1 are given in . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.