2 citations · 2 across the 5 of their papers we have counts for
5 papers
From High-Level Modeling Towards Efficient and Trustworthy Circuits
Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket
Behavior-Interaction-Priority (BIP) is a layered embedded system design and verification framework that provides separation of functionality, synchronization, and priority concerns…
Model Checking Software Programs with First Order Logic Specifications using AIG Solvers
Fadi A. Zaraket, Mohamad Noureddine
Static verification techniques leverage Boolean formula satisfiability solvers such as SAT and SMT solvers that operate on conjunctive normal form and first order logic formulae, r…
Synthesis of Sequential Extended Regular Expressions for Verification
Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein
Synthesis techniques take realizable Linear Temporal Logic specifications and produce correct cir- cuits that implement the specifications. The generated circuits can be used direc…
Specification Construction Using Behaviours, Equivalences, and SMT Solvers
Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine +1
We propose a method to write and check a specification including quantifiers using behaviors, i.e., input-output pairs. Our method requires the following input from the user: (1) a…
Semantic Guidance and Feedback for the Construction of Specifications and Implementations
Paul C Attie, Fadi A Zaraket, Mohammad Fawaz +1
The problem of writing a specification which accurately reflects the intent of the developer has long been recognized as fundamental. We propose a method and a supporting tool to w…