RT @VerifiedbyAI: @fdilke Great Qs! Not open source now, but who knows what the future may bring :-). Relates to Z3 (see e.g. https://t.co/…
352 followers
531 followers
@fdilke Great Qs! Not open source now, but who knows what the future may bring :-). Relates to Z3 (see e.g. https://t.co/cs9jmUb0sE by de Moura and Passmore) but is based on a computational logic of (higher-order) recursive functions. This paper has more i
766 followers
RT @VerifiedbyAI: Hot off the press: "Formal Verification of Financial Algorithms" by AI cofounders Passmore and Ignatovich - https://t.co/…
17 followers
RT @VerifiedbyAI: Hot off the press: "Formal Verification of Financial Algorithms" by AI cofounders Passmore and Ignatovich - https://t.co/…