A functional formalization of on chip communications
From MaRDI portal
Publication:931433
DOI10.1007/s00165-007-0049-0zbMath1147.68698MaRDI QIDQ931433
Julien Schmaltz, Dominique Borrione
Publication date: 25 June 2008
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-007-0049-0
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- Modeling layered distributed communication systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Theorem Proving in Higher Order Logics
- Formal Methods in Computer-Aided Design
- Correct Hardware Design and Verification Methods