Learn More
Algebraic techniques based on Laplace transform are widely used for solving differential equations and evaluating transfer of signals while analyzing physical aspects of many safety-critical systems. To facilitate formal analysis of these systems, we present the formal-ization of Laplace transform using the multivariable calculus theories of HOL-Light. In(More)
  • 1