How to Make FDR Spin LTL Model Checking of CSP by Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Leuschel, Thierry Massart, Andrew Currie. How to Make FDR Spin LTL Model Checking of CSP by Refinement. In José Nuno Oliveira, Pamela Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Volume 2021 of Lecture Notes in Computer Science, pages 99-118, Springer, 2001. [doi]

Identified as Michael Leuschel This author has not been identified. Look up 'Thierry Massart' in GoogleThis author has not been identified. Look up 'Andrew Currie' in Google

runs on WebDSL