Software Verification Based on Game Semantics and Process Algebra