RESOURCES ON FORMAL METHODS AND VERIFICATION

• Verification Research
• Song
• Adamski
• Blikle, Mazurkiewicz. Budkowski.
• Brzozowski
• Intel.
• Ciesielski.
• Brayton.
• Coudert.
• Bryant.