- 👋 Hi, I’m Tatsuhiro Tsuchiya @tatsuhirotsuchiya
- 👀 I’m interested in model checking, testing, dependability, etc.
- 🌱 I’m currently learning ...
- 💞️ I’m looking to collaborate on ...
- 📫 How to reach me: send me an email
Researcher at Osaka University
-
Osaka University
- Osaka, Japan
- https://tatsuhirotsuchiya.github.io/
Block or Report
Block or report tatsuhirotsuchiya
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
consensus-verification
consensus-verification PublicThis repository store resources related to our project on model checking of consensus algorithms.
-
A-Gentle-Introduction-to-Computer-Algorithms
A-Gentle-Introduction-to-Computer-Algorithms PublicHTML 1
-
-
-
Saffron-2.0
Saffron-2.0 PublicSaffron is a preprocessor which serves as a front end for Sat4j. Saffron is to Sat4j as a higher level language is to an assembler. The user expresses his/her problem by writing a Java application …
HTML
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.