His primary areas of study are Model checking, Theoretical computer science, Programming language, Abstraction model checking and Temporal logic. His Model checking research incorporates themes from Mutual exclusion, Concurrency, Counterexample, Binary decision diagram and Computation. His Theoretical computer science study combines topics in areas such as Finite-state machine, Algorithm and Compiler.
His work on Source code, Software and Transition system as part of general Programming language study is frequently linked to Context and AND gate, bridging the gap between disciplines. Helmut Veith interconnects Formal verification and Symbolic trajectory evaluation in the investigation of issues within Abstraction model checking. His work is dedicated to discovering how Temporal logic, Discrete mathematics are connected with Graph and Topology and other disciplines.
His scientific interests lie mostly in Model checking, Theoretical computer science, Programming language, Discrete mathematics and Software. His research in Model checking intersects with topics in Distributed algorithm, Distributed computing and Temporal logic. His studies in Theoretical computer science integrate themes in fields like Amortized analysis and Counterexample.
Many of his studies on Programming language apply to Test suite as well. His study in Discrete mathematics is interdisciplinary in nature, drawing from both Fragment and Combinatorics. His Source code research focuses on Software verification and how it connects with Software metric and Formal methods.
The scientist’s investigation covers issues in Model checking, Theoretical computer science, Distributed computing, Distributed algorithm and Programming language. His work on Abstraction model checking as part of general Model checking research is often related to Context, thus linking different fields of science. His research integrates issues of Decidability, Formal verification and Temporal logic in his study of Abstraction model checking.
His work on Regular language as part of general Theoretical computer science study is frequently linked to Equivalence, therefore connecting diverse disciplines of science. His Distributed algorithm study also includes fields such as
His primary scientific interests are in Model checking, Distributed algorithm, Algorithm, Abstraction model checking and Parameterized complexity. Model checking is a primary field of his research addressed under Programming language. His Distributed algorithm study incorporates themes from Partial order reduction and Bounded function.
His study on Bounded function also encompasses disciplines like
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Counterexample-guided abstraction refinement for symbolic model checking
Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu.
Journal of the ACM (2003)
Modular verification of software components in C
S. Chaki;E.M. Clarke;A. Groce;S. Jha.
IEEE Transactions on Software Engineering (2004)
Handbook of Model Checking
Edmund M. Clarke;Thomas A. Henzinger;Helmut Veith;Roderick Bloem.
Progress on the State Explosion Problem in Model Checking
Edmund M. Clarke;Orna Grumberg;Somesh Jha;Yuan Lu.
Lecture Notes in Computer Science (2001)
Efficient filtering in publish-subscribe systems using binary decision diagrams
Alexis Campailla;Sagar Chaki;Edmund Clarke;Somesh Jha.
international conference on software engineering (2001)
Detecting malicious code by model checking
Johannes Kinder;Stefan Katzenbeisser;Christian Schallhart;Helmut Veith.
international conference on detection of intrusions and malware and vulnerability assessment (2005)
Jakstab: A Static Analysis Platform for Binaries
Johannes Kinder;Helmut Veith.
computer aided verification (2008)
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis
Pankaj Chauhan;Edmund M. Clarke;James H. Kukula;Samir Sapra.
formal methods in computer aided design (2002)
Tree-like counterexamples in model checking
E. Clarke;S. Jha;Yuan Lu;H. Veith.
logic in computer science (2002)
25 Years of Model Checking: History, Achievements, Perspectives
Orna Grumberg;Helmut Veith.
25 Years of Model Checking: History, Achievements, Perspectives (2008)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: