Ryugaku Jinja · Professor Archive
Public Professor Archive
Yuki Nishida西田 雄気
Tohoku University · Graduate School of Information Science · 助教
- Publications
- 4
- Keywords
- 6
留学
神社Tohoku University · Graduate School of Information Science · 助教
Research keywordssmart contract verification・refinement types・type systems・program verification・inter-transaction properties・manifest contracts
This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.
- Sharper and Simpler Nonlinear Interpolants for Program Verification.Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
- Compilation of Coordinated Choice.Yuki Nishida, Atsushi Igarashi
- iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with UnknownsYuki Nishida, Kohei Suenaga, Atsushi Igarashi
- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Next stepSign in for fit and contact guidance
Personalized fit, contact angles, and saved workflows require sign-in.
