Specification and validation methods 论文
1995Oxford University Press eBooks引用 309
Embedded Systems Design TechniquesParallel Computing and Optimization TechniquesNumerical Methods and Algorithms
详细信息
- 发表期刊/会议
- Oxford University Press eBooks
- 发表日期
- 1995-09-14
- 发表年份
- 1995
关键词
Embedded Systems Design TechniquesParallel Computing and Optimization TechniquesNumerical Methods and Algorithms
摘要
Introduction. 1.: Evolving algebras 1993. Lipari guide. 2.: Annotated bibliography on evolving algebras. 3.: Program verification and Prolog. 4.: CLAM-specifications for provably correct compilation of CLP(R) program. 5.: The semantics of the C++ programming language. 6.: Verification of parameterized programs VHDL-based system-level hardware design. 7.: The Bakery Algorithm: yet another specification and verification. 8.: Kermit: specification and verification. 9.: Group membership protocol: specification and verification. 10.: Specification and verification of VHDL-based system-level hardware design. 11.: Specification and verification of Gate-level VHDL models of synchronous and asynchronous circuits