Assume-Guarantee Refinement between Different Time Scales
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 208-221
- https://doi.org/10.1007/3-540-48683-6_20
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Reactive modulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Parallel DSP with memory and I/O processorsPublished by SPIE-Intl Soc Optical Eng ,1998
- MOCHA: Modularity in model checkingPublished by Springer Nature ,1998
- You assume, we guarantee: Methodology and case studiesPublished by Springer Nature ,1998
- Verification of an implementation of Tomasulo's algorithm by compositional model checkingPublished by Springer Nature ,1998
- Symbolic exploration of transition hierarchiesPublished by Springer Nature ,1998
- A compositional rule for hardware design refinementPublished by Springer Nature ,1997
- Computer-Aided Verification of Coordinating ProcessesPublished by Walter de Gruyter GmbH ,1995
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- A proof technique for rely/guarantee propertiesPublished by Springer Nature ,1985