parallel verification Latest Research Papers

A Parallel Verification Approach for New Technology Application in Complex Radar System

Complex Systems Design & Management ◽

10.1007/978-3-030-73539-5_6 ◽

2021 ◽

pp. 65-72

Author(s):

Wei Yao ◽

Hao Ming ◽

Lei Zhiyong

Keyword(s):

New Technology ◽

Radar System ◽

Technology Application ◽

Parallel Verification

Download Full-text

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - Lecture Notes in Computer Science ◽

10.1007/978-3-030-83723-5_16 ◽

2021 ◽

pp. 242-263

Author(s):

Marc Jasper ◽

Maximilian Schlüter ◽

David Schmidt ◽

Bernhard Steffen

Keyword(s):

Parallel Verification

Download Full-text

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00007 ◽

2019 ◽

Author(s):

Hiba Ouni ◽

Kais Klai ◽

Chiheb Ameur Abid ◽

Belhassen Zouari

Keyword(s):

Concurrent Systems ◽

Parallel Verification

Download Full-text

PARALLEL VERIFICATION EXECUTION WITH VERIFY ALGEBRA IN A CLOUD ENVIRONMENT

Computer Science & Information Technology(CS & IT) ◽

10.5121/csit.2019.90209 ◽

2019 ◽

Author(s):

Kan Luo ◽

Siyuan Wang ◽

An Wei ◽

Wei Yu ◽

Kai Hu

Keyword(s):

Cloud Environment ◽

Parallel Verification

Download Full-text

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2018.2808457 ◽

2019 ◽

Vol 38 (2) ◽

pp. 354-365 ◽

Cited By ~ 3

Author(s):

Cunxi Yu ◽

Maciej Ciesielski

Keyword(s):

Reverse Engineering ◽

Formal Analysis ◽

Galois Field ◽

Arithmetic Circuits ◽

Parallel Verification

Download Full-text

Parallel Verification of Software Architecture Design

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00018 ◽

2019 ◽

Author(s):

Nacha Chondamrongkul ◽

Jing Sun ◽

Bingyang Wei ◽

Ian Warren

Keyword(s):

Software Architecture ◽

Architecture Design ◽

Parallel Verification ◽

Software Architecture Design

Download Full-text

Efficient parallel verification of Galois field multipliers

2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) ◽

10.1109/aspdac.2017.7858326 ◽

2017 ◽

Cited By ~ 7

Author(s):

Cunxi Yu ◽

Maciej Ciesielski

Keyword(s):

Galois Field ◽

Parallel Verification

Download Full-text

Parallel verification of temporal properties using dynamic analysis

2015 International Conference on Industrial Engineering and Systems Management (IESM) ◽

10.1109/iesm.2015.7380132 ◽

2015 ◽

Author(s):

Antoine Ferlin ◽

Philippe Bon ◽

Simon Collart-Dutilleul ◽

Virginie Wiels

Keyword(s):

Dynamic Analysis ◽

Temporal Properties ◽

Parallel Verification

Download Full-text

Detecting harmful data races through parallel verification

The Journal of Supercomputing ◽

10.1007/s11227-015-1418-8 ◽

2015 ◽

Vol 71 (8) ◽

pp. 2922-2943 ◽

Cited By ~ 11

Author(s):

Zhendong Wu ◽

Kai Lu ◽

Xiaoping Wang ◽

Xu Zhou ◽

Chen Chen

Keyword(s):

Data Races ◽

Parallel Verification

Download Full-text

Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool

Computational Science and Its Applications – ICCSA 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09156-3_38 ◽

2014 ◽

pp. 541-555 ◽

Cited By ~ 5

Author(s):

Muhammad Abdul Basit Ur Rahim ◽

Fahim Arif ◽

Jamil Ahmad

Keyword(s):

Embedded System ◽

Parallel Verification

Download Full-text

parallel verification
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

A Parallel Verification Approach for New Technology Application in Complex Radar System

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph

PARALLEL VERIFICATION EXECUTION WITH VERIFY ALGEBRA IN A CLOUD ENVIRONMENT

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering

Parallel Verification of Software Architecture Design

Efficient parallel verification of Galois field multipliers

Parallel verification of temporal properties using dynamic analysis

Detecting harmful data races through parallel verification

Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool

Export Citation Format

parallel verificationRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

A Parallel Verification Approach for New Technology Application in Complex Radar System

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph

PARALLEL VERIFICATION EXECUTION WITH VERIFY ALGEBRA IN A CLOUD ENVIRONMENT

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering

Parallel Verification of Software Architecture Design

Efficient parallel verification of Galois field multipliers

Parallel verification of temporal properties using dynamic analysis

Detecting harmful data races through parallel verification

Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool

parallel verification
Recently Published Documents