Scaling BDD-based timed verification with simulation reduction

Scaling BDD-based timed verification with simulation reduction

Digitization is a technique that has been widely used in real-time model checking. With the assumption of digital clocks, symbolic model checking techniques (like those based on BDDs) can be applied for real-time systems. The problem of model checking real-time systems based on digitization is that...

Full description

Saved in:
Bibliographic Details
Main Authors: NGUYEN, Truong Khanh, TAN, Tian Huat, SUN, Jun, LI, Jiaying, LIU, Yang, CHEN, Manman, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2016
Subjects:
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4944
https://ink.library.smu.edu.sg/context/sis_research/article/5947/viewcontent/scaling_bdd.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/4944
https://ink.library.smu.edu.sg/context/sis_research/article/5947/viewcontent/scaling_bdd.pdf

Similar Items