Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Adnan Rashid

2PUBLICATIONS

2CO-AUTHORS

Formal methods for softwareStatistical and quantitative genetics

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (2)

Sort by Publication Date:

|Apr 09, 2021

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

Ayesha Gauhar, Adnan Rashid, Osman Hasan

|Jul 04, 2017

Formal reasoning about systems biology using theorem proving.

Adnan Rashid, Osman Hasan, Umair Siddique

Pageof 1

Frequent Collaborators

1 joint publications

João Bispo

1 joint publications

João M P Cardoso

Frequent Collaborators

1 joint publications

João Bispo

1 joint publications

João M P Cardoso

Top Related Videos

Optimized Automated Analysis of Live Neuronal Mitochondria Homeostasis Modulation by Isoform-Specific Retinoic Acid Receptors

Optimized Automated Analysis of Live Neuronal Mitochondria Homeostasis Modulation by Isoform-Specific Retinoic Acid Receptors

Published on : Jul 28, 2023

A Web Tool for Generating High Quality Machine-readable Biological Pathways

A Web Tool for Generating High Quality Machine-readable Biological Pathways

Published on : Feb 08, 2017

See more related videos

Top Related Videos

Optimized Automated Analysis of Live Neuronal Mitochondria Homeostasis Modulation by Isoform-Specific Retinoic Acid Receptors

Optimized Automated Analysis of Live Neuronal Mitochondria Homeostasis Modulation by Isoform-Specific Retinoic Acid Receptors

Published on : Jul 28, 2023

A Web Tool for Generating High Quality Machine-readable Biological Pathways

A Web Tool for Generating High Quality Machine-readable Biological Pathways

Published on : Feb 08, 2017

See more related videos