Symbolic computation of differential equivalences
DOI10.1145/2837614.2837649zbMath1347.68258WikidataQ56981841 ScholiaQ56981841MaRDI QIDQ5890964
Mirco Tribastone, Luca Cardelli, Andrea Vandin, Max Tschaikowski
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: http://eprints.imtlucca.it/3435/1/z3-popl16.pdf
ordinary differential equations; partition refinement; satisfiability modulo theory; quantitative equivalence relations
68W30: Symbolic computation and algebraic computation
92E20: Classical flows, reactions, etc. in chemistry
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
60J28: Applications of continuous-time Markov processes on discrete state spaces
Related Items
Uses Software