Add to ORKGResearch Interests My research area is formal verification. I am especially interested in algorithms for model checking and design synthesis. A major part of my work is on the automata-theoretic approach to verification and especially to model checking. I am also working on applications of formal methods to biological modeling
The high complexity of modern hardware and software systems necessitates the use of formal methods f...
"Today, formal methods are widely recognized as an essential step in the design process of industria...
Two main types of formal methods have been investigated, formal specification and formal verificatio...
Formal verification: Algorithmic issues in the verification and control of reactive, proba-bilistic,...
This book first explores the origins of this idea, grounded in theoretical work on temporal logic an...
This tutorial addresses the following questions: ffl why do formal verification? ffl who is doing i...
Research Interests Automated verification of real-time, probabilistic, and infinite-state systems (e...
Contains fulltext : 27414.pdf (publisher's version ) (Open Access)Model checking i...
International audienceA problem hindering the adoption of formal methods in the industry is how to i...
Algorithmic verification is one of the most successful applications of automated reasoning in comput...
Model checking(MC) techniques attracts attention of computer science for more than 30 years as a way...
Formal methods have a great potential of application in the development of industrial critical syste...
this report assesses the state of the art in specification and verification. For verification, we hi...
Formal verification is a process that proves computational systems adhere to a specification. The au...
Mathematical predictive analysis the behaviour of circuits and computer programs is a core problem i...
The high complexity of modern hardware and software systems necessitates the use of formal methods f...
"Today, formal methods are widely recognized as an essential step in the design process of industria...
Two main types of formal methods have been investigated, formal specification and formal verificatio...
Formal verification: Algorithmic issues in the verification and control of reactive, proba-bilistic,...
This book first explores the origins of this idea, grounded in theoretical work on temporal logic an...
This tutorial addresses the following questions: ffl why do formal verification? ffl who is doing i...
Research Interests Automated verification of real-time, probabilistic, and infinite-state systems (e...
Contains fulltext : 27414.pdf (publisher's version ) (Open Access)Model checking i...
International audienceA problem hindering the adoption of formal methods in the industry is how to i...
Algorithmic verification is one of the most successful applications of automated reasoning in comput...
Model checking(MC) techniques attracts attention of computer science for more than 30 years as a way...
Formal methods have a great potential of application in the development of industrial critical syste...
this report assesses the state of the art in specification and verification. For verification, we hi...
Formal verification is a process that proves computational systems adhere to a specification. The au...
Mathematical predictive analysis the behaviour of circuits and computer programs is a core problem i...
The high complexity of modern hardware and software systems necessitates the use of formal methods f...
"Today, formal methods are widely recognized as an essential step in the design process of industria...
Two main types of formal methods have been investigated, formal specification and formal verificatio...