Adrian Jaszczak

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 5

Top Topics

Formal Verification

Data Mining Tools

Top Venues

Formaliz. Math.

Publications

Adrian Jaszczak
Partial Correctness of an Algorithm Computing Lucas Sequences. Formaliz. Math. 28 (4) (2020)
Adrian Jaszczak
General Theory and Tools for Proving Algorithms in Nominative Data Systems. Formaliz. Math. 28 (4) (2020)
Adrian Jaszczak, Artur Kornilowicz
Partial Correctness of a Factorial Algorithm. Formaliz. Math. 27 (2) (2019)
Adrian Jaszczak
Partial Correctness of a Power Algorithm. Formaliz. Math. 27 (2) (2019)
Adrian Jaszczak
Formal verification of the correctness of chosen algorithms in Mizar. CICM Workshops (2019)