Ayesha Gauhar

According to our database, Ayesha Gauhar authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Formal Verification of Universal Numbers using Theorem Proving.

Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad

J. Electron. Test., June, 2024

2021

Formal verification of Matrix based MATLAB models using interactive theorem proving.

Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso

PeerJ Comput. Sci., 2021

2020

FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits.

Adnan Rashid, Ayesha Gauhar, Osman Hasan

CoRR, 2020