案例：甲、乙共同杀害丙，以为丙已死，甲随即离开现场。一个小时后，乙在清理现场时发现丙未死，持刀杀死丙。甲是否属于犯罪未遂?

如何判断犯罪是处于暂时性停顿还是处于终局性停止，只有是终局性停止，才构成犯罪形态，判断标准为：一是看行为人主观犯意是否完全消除;二是看行为人客观犯罪行为是否彻底结束。本案中，甲、乙共同杀害丙，以为丙已死，甲随即离开现场，此时甲的主观犯意已经消除，并且其犯罪行为已彻底结束，丙未死是由于甲意志以外的原因，成立犯罪未遂。

对形态的理解

1、形态是一个点，而不是一段时间。

2、这个点与停顿紧密相连，有停顿才有点，有停顿才有形态。一个行为只有一个点，一个行为只有一个形态，不能把主体的完整行为人为进行分割。

3、形态是故意犯罪过程中不再发展而固定下来的相对静止的不同结局。它们是一种彼此独立存在的关系，不可能相互转化。犯罪预备不可能转为犯罪未遂状态，未完成形态不可能转化为完成形态。

犯罪形态与故意犯罪过程、阶段的区别

1、故意犯罪的过程是对犯罪在时间、空间上的发展持续所作的描述。是指故意犯罪在其发生、发展和完成的程序、阶段的总和与整体。它是故意犯罪运动、发展、变化的连续性在时间和空间的表现。

2、故意犯罪的阶段也称为故意犯罪的发展阶段，是指故意犯罪发展过程中因主客观具体内容的不同而人为划分的段落。可分为犯意形成阶段、预备阶段、实行阶段和行为后阶段等。

3、故意犯罪过程作为一个整体的概念，包含若干具体的故意犯罪阶段，这些具有不同特征的阶段处在故意犯罪发展的总过程中，呈现出先后相互衔接、此起彼伏的递进和发展变化关系。运动、变化和发展是故意犯罪过程和阶段的属性与特征。