#### Filter Results:

- Full text PDF available (3)

#### Publication Year

2012

2017

- This year (1)
- Last 5 years (4)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Syeda Hira Taqdees, Osman Hasan
- LPAR
- 2013

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 formalization of Laplace transform using the multivariable calculus theories of HOL-Light. In… (More)

- Syeda Hira Taqdees, Osman Hasan
- IEEE Design & Test
- 2017

The goal of verifying an analog circuit is to make sure that the implementation of the circuit exhibits the desired behavior. Traditionally, analog circuits are analyzed using simulation techniques. However, simulation results cannot be termed as 100% accurate due to the approximations introduced by using computer arithmetics, such as floating or fixed… (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 formalization of Laplace transform using the multivariable calculus theories of HOL-Light. In… (More)

- ‹
- 1
- ›