為實現實體法所定的抽象的權利義務，輔助之嚴密且公正的實行，而訂定其程序的法律。如刑事訴訟法、民事訴訟法等。