Browse categories
Explore
Fiverr Pro
English
$
USD
Davin Jarvis
@davin_jarvis
Formal Verification Analyst and Logic Specialist
Indonesia
English, Indonesian
About me
"I am an analytical logic specialist with a strong foundation in Propositional Logic, First-Order Logic, Modal Logic, and Quantified Modal Logic. While many developers focus solely on code syntax, my approach is centered on structural causality and rigorous formal verification. I help students and system designers translate complex, often ambiguous rules into mathematically sound Kripke models. Using NuSMV as an auditing tool, I will verify your state transitions, resolve edge-case deadlocks, and write clear LTL/CTL specifications to ensure your system's logic is fundamentally bulletproof.
Skills
Davin Jarvis
Offline •
See my services
Software Testing
I will do formal verification, model checking, ltl ctl satisfiability using nusmv
