8. CHARME 1995: Frankfurt/Main, Germany

Model checking

Theorem proving

Formally verified synthesis

Process algebras

Finite state systems 1

Finite state systems 2

Verification environments

Language containment

VHDL