research
∙
08/13/2022
On the Formalization of the Heat Conduction Problem in HOL
Partial Differential Equations (PDEs) are widely used for modeling the p...
share
research
∙
12/24/2021
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
Many practical engineering systems and their components have multiple pe...
research
∙
11/24/2021
Formalization of Bond Graph using Higher-order-logic Theorem Proving
Bond graph is a unified graphical approach for describing the dynamics o...
research
∙
11/19/2021
Formalization of Transform Methods in Higher-order Logic: A Survey
Most of the engineering and physical systems are generally characterized...
research
∙
03/08/2020
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Due to major breakthroughs in software and engineering technologies, emb...
research
∙
01/18/2020
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Simulink is a graphical environment that is widely adapted for the model...
research
∙
12/16/2019
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
Synthetic Biology is an interdisciplinary field that utilizes well-estab...
research
∙
07/18/2018
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Robotic cell injection is used for automatically delivering substances i...
research
∙
06/08/2018
Formalization of Lerch's Theorem using HOL Light
The Laplace transform is an algebraic method that is widely used for ana...
research
∙
05/08/2018
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
Cell injection is an approach used for the delivery of small sample subs...
research
∙
04/21/2018