Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang Automated flaw detection in algebraic specifications. (English) Zbl 1207.68337 J. Autom. Reasoning 45, No. 4, 359-395 (2010). MSC: 68T15 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Boiten, Eerke; Derrick, John; Schellhorn, Gerhard Relational concurrent refinement. II: Internal operations and outputs. (English) Zbl 1165.68412 Formal Asp. Comput. 21, No. 1-2, 65-102 (2009). MSC: 68Q65 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang Automating algebraic specifications of non-freely generated data types. (English) Zbl 1183.68368 Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 141-155 (2008). MSC: 68Q60 68Q65 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang Bounded relational analysis of free data types. (English) Zbl 1138.68446 Beckert, Bernhard (ed.) et al., Tests and proofs. Second international conference, TAP 2008, Prato, Italy, April 9–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79123-2/pbk). Lecture Notes in Computer Science 4966, 99-115 (2008). MSC: 68Q60 68Q85 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Reif, Wolfgang; Schellhorn, Gerhard; Vollmer, Tobias; Ruf, Jürgen Correctness of efficient real-time model checking. (English) Zbl 0970.68109 J. UCS 7, No. 2, Spec. Iss., 194-209 (2001). MSC: 68Q65 68W05 × Cite Format Result Cite Review PDF