A Practical Approach to the Formal Verification of SoC’s with Symbolic Model-Checking

The Kluwer International Series in Engineering and Computer Science - System-on-Chip for Real-Time Applications ◽

10.1007/978-1-4615-0351-4_10 ◽

2003 ◽

pp. 98-110

Author(s):

Emil Dumitrescu

Keyword(s):

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Practical Approach ◽

Download Full-text

A symbolic model checking approach in formal verification of distributed systems

Human-centric Computing and Information Sciences ◽

10.1186/s13673-019-0165-x ◽

2019 ◽

Vol 9 (1) ◽

Author(s):

Alireza Souri ◽

Amir Masoud Rahmani ◽

Nima Jafari Navimipour ◽

Reza Rezaei

Keyword(s):

Distributed Systems ◽

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Download Full-text

Formal Verification of SDG via Symbolic Model Checking

2009 Second International Conference on Intelligent Computation Technology and Automation ◽

10.1109/icicta.2009.840 ◽

2009 ◽

Author(s):

Ning Ning ◽

Jun Zhang ◽

Xiang-Yang Gao ◽

Jing Xue

Keyword(s):

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Download Full-text

Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking

IEICE Transactions on Information and Systems ◽

10.1587/transinf.2021edp7063 ◽

2022 ◽

Vol E105.D (1) ◽

pp. 78-91

Author(s):

Isamu HASEGAWA ◽

Tomoyuki YOKOGAWA

Keyword(s):

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Download Full-text

Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_38 ◽

1992 ◽

pp. 410-420 ◽

Author(s):

Kiyoharu Hamaguchi ◽

Hiromi Hiraishi ◽

Shuzo Yajima

Keyword(s):

Model Checking ◽

Formal Verification ◽

Temporal Logic ◽

Asynchronous Circuits ◽

Symbolic Model Checking ◽

Branching Time ◽

Download Full-text

Formal Verification for Quality Analysis of SDG Fault Diagnosis Model via Symbolic Model Checking

2010 International Conference on Measuring Technology and Mechatronics Automation ◽

10.1109/icmtma.2010.103 ◽

2010 ◽

Author(s):

Ning Ning ◽

Jun Zhang ◽

Xiangyang Gao ◽

Jing Xue

Keyword(s):

Fault Diagnosis ◽

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Quality Analysis ◽

Symbolic Model ◽

Diagnosis Model

Download Full-text

Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams

2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) ◽

10.1109/notere.2010.5536654 ◽

2010 ◽

Author(s):

Yousra Bendaly Hlaoui ◽

Leila Jemni Benayed

Keyword(s):

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Grid Service ◽

Symbolic Model ◽

Activity Diagrams ◽

Uml Activity Diagrams

Download Full-text

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

Towards System Safety ◽

10.1007/978-1-4471-0823-8_10 ◽

1999 ◽

pp. 150-173 ◽

Author(s):

Tom Bienmüller ◽

Udo Brockmeyer ◽

Werner Damm ◽

Gert Döhmen ◽

Claus Eßmann ◽

...

Keyword(s):

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Download Full-text

Formal verification of a snoop-based cache coherence protocol using symbolic model checking

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) ◽

10.1109/icvd.1999.745162 ◽

1999 ◽

Author(s):

S. Srinivasan ◽

P.S. Chhabra ◽

P.K. Jaini ◽

A. Aziz ◽

L. John

Keyword(s):

Model Checking ◽

Formal Verification ◽

Cache Coherence ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Cache Coherence Protocol

Download Full-text

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2008.00245 ◽

2009 ◽

Vol 31 (2) ◽

pp. 245-252 ◽

Author(s):

Li-Jun WU ◽

Jin-Shu SU ◽

Kai-Le SU

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Multi Agent System ◽

Agent System ◽

Symbolic Model ◽

Download Full-text

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

10.21236/ada346065 ◽

1998 ◽

Author(s):

Sergey Berezin ◽

Armin Biere ◽

Edmund Clarke ◽

Yunshan Zhu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Processor Verification

Download Full-text