@inproceedings{db8787d3e98e4968934c670acc76cfe4,
title = "Effective abstraction for response proof of communication fabrics",
abstract = "We present a satisfiability backbone-based formulation for ranking structure discovery and thereby present an alternative scalable proof technique for the response properties. Our algorithm offers enhanced automation by reducing the need for user supplied input information compared to the known technique for ranking structure discovery [1]. We demonstrate that backbone based response verification algorithm scales up or attains comparable scalability without user supplied safety invariants.",
author = "Sayak Ray and Sharad Malik",
year = "2015",
month = jan,
day = "13",
doi = "10.1109/NOCS.2014.7008787",
language = "English (US)",
series = "Proceedings - 2014 8th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "188--189",
editor = "Davide Bertozzi and Luca Benini and Sudhakar Yalamanchili and Joerg Henkel",
booktitle = "Proceedings - 2014 8th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014",
address = "United States",
note = "8th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014 ; Conference date: 17-09-2014 Through 19-09-2014",
}