Results 241 to 250 of about 39,507 (262)

Template-Based Semi-Formal Approach to Robust Equivalence Checking

Electronics (Switzerland), 2022
Qinhao Wang, Masahiro Fujita, Fujita Masahiro   +2 more
exaly  

Formal Equivalence Checking for Mobile Malware Detection and Family Classification

IEEE Transactions on Software Engineering, 2022
Antonella Santone, Francesco Mercaldo
exaly  

Formal equivalence verification

2023
Erik Seligman
exaly  

An application of Cartan's equivalence method to Hirschowitz's conjecture on the formal principle

Annals of Mathematics, 2019
Jun-Muk Hwang
exaly  

Formal Equivalence

2015
openaire   +1 more source

Formal verification of code motion techniques using data-flow-driven equivalence checking

ACM Transactions on Design Automation of Electronic Systems, 2012
Chandan Karfa, Chittaranjan Mandal, Dipankar Sarkar   +2 more
exaly  

Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs

Microprocessors and Microsystems, 2013
Payman Behnam, Bijan Alizadeh
exaly  

On Form, Formalism and Equivalence

1990
openaire   +1 more source

Basic Equivalence of the Four Formalizations

2021
openaire   +1 more source

Translating Classical Chinese Drama: Comparative Study on the Formal Characteristics and Formal Equivalence of Yuan Zaju

2022
exaly