使用CSP$$||$$||验证方案计划

菲利普·詹姆斯,法伦·莫勒,黄义恩(Hoang Nga Nguyen),马库斯·罗根巴赫,孙礼达,海伦·特雷哈恩,马修·特朗布尔,大卫·M·威廉姆斯使用CSP$$||$$||验证方案计划史蒂夫·康塞尔,曼努埃尔·努涅斯,编辑,软件工程和形式方法——SEFM 2013联合研讨会:BEAT2、WS-FMDS、FM-RAIL-Bok、MoKMaSD和OpenCert,西班牙马德里,2013年9月23日至24日,修订论文集第8368卷,共页计算机科学课堂讲稿,页189-204、施普林格、,2013 [美国国防部]

摘要

缺少摘要。