Robert Boyer
J Strother Moore
2002
Single-Threaded Objects in ACL2
Shriram Krishnamurthi
C. Ramakrishnan
Practical Aspects of Declarative Languages
Lecture Notes in Computer Science
2257
Springer Berlin / Heidelberg
9–27
10.1007/3-540-45587-6_3
J. Duato
1995
A necessary and sufficient condition for deadlock-free adaptive routing in wormhole networks
IEEE Transactions on Parallel and Distributed Systems
6
10
1055–1067
10.1109/71.473515
Matt Kaufmann
J Strother Moore
2001
Structured Theory Development for a Mechanized Logic
Journal of Automated Reasoning
26
161–203
10.1023/A:1026517200045
Sami Taktak
Emmanuelle Encrenaz
Jean-Lou Desbarbieux
2010
A polynomial Algorithm to Prove Deadlock-freeness of Wormhole Networks
18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP'10)
10.1109/PDP.2010.19
Freek Verbeek
Julien Schmaltz
2011
Automatic verification for deadlock in Networks-on-Chips with adaptive routing and wormhole switching
Proceedings of Networks-on-Chip Symposium (NOCS '11)
Freek Verbeek
Julien Schmaltz
2011
A Comment on``A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks''
IEEE Transactions on Parallel and Distributed Systems
22
10
1775 –1776
10.1109/TPDS.2011.16
Freek Verbeek
Julien Schmaltz
2011
On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks
IEEE Transactions on Parallel and Distributed Systems
99
PrePrints