Search Results for author: Shunsuke Shimizu

Found 2 papers, 0 papers with code

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)

no code implementations2 Nov 2015 Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea

In the context of formal verification in general and model checking in particular, parity games serve as a mighty vehicle: many problems are encoded as parity games, which are then solved by the seminal algorithm by Jurdzinski.

Logic in Computer Science Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.