出版社：European Association of Software Science and Technology (EASST)
摘要：C SP -C ASL is but one of the many languages for which Bernd Krieg-Brueckner (BKB) had a great deal of influence throughout its development process: from the initial idea of working towards an integration of the process algebra C SP with the algebraic specification language C ASL , to the design of the concrete syntax, and also to tool support for C SP -C ASL , where the theorem prover Isabelle should provide the common platform. In all this, BKB provided inspiration and guidance, funding, and also a helping hand when needed. This paper provides a survey on the technology developed so far for C SP -C ASL , covering results of a theoretical nature, an industrial case study, theorem proving support as well as a testing approach. In honour of BKB’s 60th birthday, this survey documents what has become out of one of BKB’s visions.
