Concepedia

Nathaniel Yazdani

NY

Statistics

Publications

2

Citations

30

H-Index

2

Active since

2018

Affiliations

University of Washington(Current)

Nathaniel Yazdani is an author at University of Washington specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware TestingFormal Specification

Publications per year

2018–2019

2

Publications

2

Adapting proof automation to adapt proofs

Talia Ringer, Nathaniel Yazdani, John Leo et al. · 2018 · 20 citations

Formal Specification, Engineering, Automated Reasoning +15

Ornaments for Proof Reuse in Coq

Talia Ringer, Nathaniel Yazdani, John Leo et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 10 citations · Full text

Engineering, Type Theory, Verification +16

1–2 of 2