CSP and Kripke Structures

DOI10.1007/978-3-319-25150-9_29zbMath1471.68135OpenAlexW2404811228MaRDI QIDQ2787446

Ana Cavalcanti, Jan Peleska, Wen-ling Huang, J. C. P. Woodcock

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_29

zbMATH Keywords

semantic modelsruntime verificationformal testingUTP

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Complete model-based equivalence class testing for nondeterministic systems

Uses Software

• FDR3
• SafeJML

This page was built for publication: CSP and Kripke Structures