Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$ C S P ‖ B-Reference-Cited by-同舟云学术

Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$ C S P ‖ B

Published:2015-11-03 Issue:1 Volume:19 Page:73-96
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Ye Kangfeng,Woodcock Jim

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-015-0402-1.pdf

Reference52 articles.

1. FDR2: a refinement checker for establishing properties of models expressed in CSP. www.fsel.com/software.html

2. SICStus prolog manual (arithmetic expressions). https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/ref_002dari_002daex.html#ref_002dari_002daex

3. The ProB animator and model checker. http://www.stups.uni-duesseldorf.de/ProB/index.php5/Main_Page

4. ISO/IEC: Information technology-Z formal specification notation-syntax, type system and semantics (2002). http://standards.iso.org/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002(E).zip

5. Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata;Lecture Notes in Computer Science;2021

2. Circus2CSP: A Tool for Model-Checking Circus Using FDR;Lecture Notes in Computer Science;2019

3. Towards a Model-Checker for Circus;Lecture Notes in Computer Science;2019

4. Software Architecture of Modern Model Checkers;Lecture Notes in Computer Science;2019