On Formal Verification of Occam Programs.

Otmane Aït Mohamed Abdelillah Mokkedem

Published in: PDPTA (1995)

Keyphrases

formal verification
program slicing
model checking
model checker
automated verification
bounded model checking
symbolic model checking
expert systems
open source
source code
programming environment