Scalable multi-core model checking fairness enhanced systems

Scalable multi-core model checking fairness enhanced systems

Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms. The Linear Temporal Logic (LTL) model checking problem is one of the difficult problems to be parallelized or scaled up...

Full description

Saved in:
Bibliographic Details
Main Authors: LIU, Yang, SUN, Jun, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2009
Subjects:
Model Check
Parallel Algorithm
Linear Temporal Logic
Label Transition System
Strongly Connect Component
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5041
https://ink.library.smu.edu.sg/context/sis_research/article/6044/viewcontent/scalable.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5041
https://ink.library.smu.edu.sg/context/sis_research/article/6044/viewcontent/scalable.pdf

Similar Items