Satoshi Kura

1. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments
   2018/11/16 by Satoshi Kura, Kura, Satoshi, Natsuki Urabe +3 · 4 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research
2. Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
   2024/07/03 by Satoshi Kura, Hiroshi Unno, Kura, Satoshi +1 · 2 citations
   Computer Science · #Software Reliability and Analysis Research #Formal Methods in Verification #Software Testing and Debugging Techniques
3. Higher-Order Weakest Precondition Transformers via a CPS Transformation
   2023/01/24 by Satoshi Kura, Kura, Satoshi · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering Research #Software Testing and Debugging Techniques