Kategorien durchsuchen
Entdecken
Fiverr Pro
Deutsch
$
USD
Davin Jarvis
@davin_jarvis
Formal Verification Analyst and Logic Specialist
Indonesien
Englisch, Indonesisch
Über mich
"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.
Kompetenzen
Davin Jarvis
offline •
Meine Dienstleistungen
Softwaretests
I will do formal verification, model checking, ltl ctl satisfiability using nusmv
