Demonstration of a Model-Based Approach for Formal Verification of I&C Logics

计算机科学形式验证程序设计语言形式化方法软件工程

作者

Joonas Linnosmaa,Antti Pakonen,Jarmo Alanen

标识

DOI：10.13182/npichmit23-41121

求助该文献

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 王根基完成签到，获得积分10

1秒前; 橙子完成签到，获得积分10

2秒前; 123完成签到，获得积分10

3秒前; 山东老铁完成签到，获得积分10

3秒前; 123完成签到，获得积分10

4秒前; 刘海英完成签到，获得积分10

5秒前; 糕糕完成签到，获得积分10

5秒前; yxcc完成签到，获得积分10

9秒前; li完成签到，获得积分10

11秒前; Lucky完成签到，获得积分10

13秒前; 哇塞完成签到，获得积分10

15秒前; 格物致知完成签到，获得积分0

16秒前; 深情安青的应助被海洋球采纳，获得10

16秒前; 李卓完成签到，获得积分10

17秒前; Carrie的应助被123采纳，获得10

19秒前; 顺心抽屉完成签到，获得积分10

21秒前; LEESO完成签到，获得积分10

23秒前; 科研通AI6.4的应助被ray采纳，获得30

24秒前; JaneChen完成签到，获得积分10

24秒前; foreverwhy完成签到，获得积分10

25秒前; 一斤欠半完成签到，获得积分10

26秒前; 深情安青上传了应助文件

27秒前; 吃茶去完成签到，获得积分10

28秒前; 赖皮蛇完成签到，获得积分10

29秒前; 叶子完成签到，获得积分10

29秒前; 科研通AI6.2的应助被词词采纳，获得10

29秒前; Exhit完成签到，获得积分20

30秒前; 拉长的冬云完成签到，获得积分10

30秒前; 海洋球发布了新的文献求助10

31秒前; shy完成签到，获得积分10

31秒前; 顾矜的应助被承乐采纳，获得30

31秒前; 美好善斓完成签到，获得积分10

33秒前; 阳光迎夏完成签到，获得积分10

33秒前; moya完成签到，获得积分10

35秒前; 千鸟完成签到，获得积分10

37秒前; 非洲大象发布了新的文献求助50

38秒前; 思源的应助被LIUYONG采纳，获得10

38秒前; CipherSage的应助被华风采纳，获得10

40秒前; 科研之路完成签到，获得积分10

41秒前; 隐形曼青上传了应助文件

41秒前