Amanote Research
Register
Sign In
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
doi 10.1109/async.2018.00022
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2018
Authors
Ghaith Tarawneh
Andrey Mokhov
Publisher
IEEE
Related search
Formal Design and Verification of an Asynchronous SRAM Controller
Formal Verification of Hybrid Systems
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asynchronous Testing of Synchronous Components in GALS Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparing Formal Verification Approaches of Interlocking Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Verification of Privacy for RFID Systems
