Jochen-hoenicke
jochen-hoenicke.deRank Trend
Ranking history over time.
About Jochen-hoenicke
Jochen Hoenicke's homepage provides information about his work in formal verification, smart contracts, and software engineering. It includes details on his research, publications, and teaching programs.
Explore research and publications in formal verification and software engineering.
What You Can Do
- Read about formal verification methodologies
- Access publications and research papers
- Learn about teaching programs and courses
Frequently Asked Questions
What is formal verification?
Formal verification is a method used to prove the correctness of algorithms and systems through mathematical techniques.
What are smart contracts?
Smart contracts are self-executing contracts with the terms of the agreement directly written into code.
Where can I find Jochen Hoenicke's publications?
Publications can be accessed directly on his homepage under the publications section.
What is SMTInterpol?
SMTInterpol is an SMT solver created by Jochen Hoenicke, used for solving satisfiability modulo theories problems.
How can I contact Jochen Hoenicke?
You can contact him via email at hoenicke@gmail.com.