JoVE - Journal of Visualized Experiments
JoVE Visualize
Research Domains
View All

Contact Us

What is JoVE Visualize?

VideoCategory: Formal Methods for Software

Explores formal methods for software, vital for software engineering research.

Research

Fields in

VideoCategory: Formal Methods for Software

Recently Published

June 14, 2025

|

Advances in physiology education

LLM-Generated Multiple Choice Practice Quizzes for Pre-Clinical Medical Students; Prevalence of Item Writing Flaws

  • Troy Camarata, Lise McCoy, Robert L Rosenberg et al.

June 14, 2025

|

Optics express

Development of advanced sequential ray tracing simulator for lens systems using multi-functional holographic optical elements

  • Sungmin Cho, Hyunwoo Kim, Seokho Choi et al.

June 14, 2025

|

Optics express

Widely tunable narrow-linewidth lasers with booster amplification on silicon photonics

  • Yang Liu, Ye Chen, Laurens Bogaert et al.

June 13, 2025

|

Clinical nutrition ESPEN

Evaluation of Semi-Automated versus Fully Automated Technologies for Computed Tomography Scalable Body Composition Analyses in Patients with Severe Acute Respiratory Syndrome Coronavirus-2

  • Amy Wozniak, Paula O’Connor, Jared Seigal et al.

June 12, 2025

|

3D printing in medicine

Enhancing skull base tumor management: the combination of 3D printing technology and endoscopic surgical techniques

  • Xiao Li, Peng Gao, Angsi Liu et al.

June 12, 2025

|

Journal of synchrotron radiation

A versatile framework for attitude tuning of beamlines at light source facilities

  • Peng Cheng Li, Xiao Xue Bi, Zhen Zhang et al.

June 10, 2025

|

Bioinformatics (Oxford, England)

Sequence analysis and decoding with extra low-quality reads for DNA data storage

  • Jiyeon Park, Ha Hyeon Jeon, Jeong Wook Lee et al.

June 10, 2025

|

European spine journal : official publication of the European Spine Society, the European Spinal Deformity Society, and the European Section of the Cervical Spine Research Society

Free-hand insertion of S2AI screw: what can we learn from O-arm navigation?

  • Changsheng Fan, Jie Li, Chen Ling et al.

View More