正式的验证技术应用到一个经典的逻辑谜题揭示了大量的创造性的解决方案。
在假期期间,OneSpin发出挑战,解决经典爱因斯坦的谜题使用任何形式验证工具。虽然这个谜题是一个小节日有趣,解决需要思想和一些有用的正式技术适用于日常功能验证。
我们收到了广泛的答案从工程师在不同的公司在全球范围内,包括一些最大的半导体厂商。许多条目被巧妙的和深思熟虑。显然,花了很多时间思考所面临的挑战和解决方案的方法。
作者的许可,我们发布了十大解决方案:http://tinyurl.com/loqktz5。请检查出来并帮助我们支持你认为是最好的。排名前三的会收到遥控飞行的无人驾驶飞机。
阿尔伯特·爱因斯坦创建了里德尔在1800年代末,是毫无根据的说法。在那些日子里,形式验证之前,98%的世界人口找不到解决方案,显然。
谜题涉及到一组彩色的房子,不同国籍的人,喝酒、吸烟习惯和养宠物。谜题提供了稀疏连接这些变量的信息,并邀请读者最终发现“谁拥有鱼!“完整的谜题可能认为在同一页上面的解决方案。
虽然我不会批评的解决方案和偏见投票,这是明显的,大量的创造力走进条目观点和想法可以应用于广泛的问题超出了这个谜题。
正式全面展示的能力。每个条目包含一组属性,跑在一个商业形式验证工具,不一定OneSpin DV-Verify。事实上,几个十大条目的竞争正式上运行的工具。
条目来自创意工程师与各种背景、经验不同的设计类型和形式验证知识。因此,这是一个很好的学习工具,看看其他人会解决这个益智问题使用验证。
我们将仔细看看周六比赛结束后的解决方案,4月8日,解释正式技术大败古老的爱因斯坦的谜题。通过解决方案,但是,如果你看,你会看到一个不同的角度采取数组目标这一问题——真的,十皮肤难题的方法!
请检查这些解决方案,画出自己的意见和投票!
|
|
|
|
|
|
|
|
|
你好,戴夫
解决方案2是正确的吗?
最后一行“所以theNorwegianownsthefish报告。”
问候,
费迪南