Dan Kristiansen is an author at University of Vienna specializing in automated reasoning, formal verification, and program analysis.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationSoftware Engineering
Publications per year
2020–2020
1
1
Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid et al. · 2020 · 18 citations
Reachability Analysis, Weighted Pushdown Automata, Formal Specification +14
Rows per page
1–1 of 1