本发明涉及逻辑模拟验证系统、方法及程序。在短时间对每个逻辑模拟器提供相同的逻辑模拟结果。逻辑模拟验证系统对于成为信号的变化的基准信号验证在库、电路描述以及测试平台中描述的信号的变化，具备：变化定时指定部，指定基准信号和基准信号的变化信息；变化可能性时间计算部，求出存在向变量代入的第一信号发生变化的可能性的第一时刻；参照可能性时间计算部，求出变量被参照的第二信号存在被参照的可能性的第二时刻；变化可能性时间判定部，将不同的电路间的第一信号相同的第一时刻比较来判断第一时刻是否一致；以及变化及参照可能性时间判定部，判断是否不同的电路间的一方的第一信号与另一方的第二信号相同且第一时刻与第二时刻一致。