H. Amjad

发表

Combining model checking and theorem proving

H. Amjad, Hasan Amjad, 2004 .

Propositional Simplification With BDDs and SAT Solvers

H. Amjad, 2007 .

Implementing Abstraction Refinement for Model Checking in HOL

H. Amjad, Hasan Amjad, 2003 .

Formalising the translation of CTL into L μ

H. Amjad, 2003 .

BDD Representation Judgements in HOL : A Performance Evaluation

H. Amjad, Hasan Amjad, 2022 .