1
Publications
59
Citations
1
H-Index
2008
Active since
Affiliations
Graz University of Technology(Current)
Andre Suelflow is an author at Graz University of Technology specializing in design for testing, formal verification, and reliability engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisDesign For TestingFormal Verification
Publications per year
2008–2008
1
1
Using unsatisfiable cores to debug multiple design errors
Andre Suelflow, Görschwin Fey, Roderick Bloem et al. · 2008 · 59 citations
Engineering, Hardware Verification Language, Verification +19
Rows per page
1–1 of 1