Brad S. Carver is an author at University of Missouri specializing in formal verification, software engineering, and program analysis.
Top concepts
EngineeringFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
1999–1999
1
1
Rows per page
1–1 of 1