Bogdan Tofan is an author at University of Augsburg specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationSoftware Design
Publications per year
2009–2014
3
3
Proving linearizability with temporal logic
Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan et al. · Formal Aspects of Computing · 2009 · 32 citations · Full text
Interleaved Programs and Rely-Guarantee Reasoning with ITL
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst et al. · 2011 · 30 citations
Rows per page
1–3 of 3