Yuriy Solodkyy is an author at Texas A&M University specializing in formal methods, formal verification, and system software.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringComputer ArchitectureSoftware Design
Publications per year
2007–2013
2
2
Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup · 2007 · 25 citations
Numerical Analysis, Mathematical Programming, Engineering +21
Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup · 2013 · 11 citations
Rows per page
1–2 of 2