FUJII S.
  • Member for 4 years, 5 months
  • Last seen more than 2 years ago
About

I am a university student in Japan and in particular learning model checking. My research is focused on bounded model checking, which is generally applicable to realistic design system.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %