English

Arabic Catalan Chinese Czech Danish Dutch English French German Greek Hebrew Hindi Hungarian Italian Japanese Korean Persian Polish Portuguese Romanian Russian Slovak Spanish Swedish Thai Turkish Ukrainian Vietnamese

French

Definition Arabic Catalan Chinese Czech Danish Dutch English French German Greek Hebrew Hindi Hungarian Italian Japanese Korean Persian Polish Portuguese Romanian Russian Slovak Spanish Swedish Thai Turkish Ukrainian Vietnamese

Favorites

Advertising

Java, via Java-SMT

Examples with "Java, via Java-SMT" and their translation in French

We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.

FOADA Checker is written in Java, via Java-SMT interface and using Z3 SMT solver for spuriousness, coverage queries and interpolant generation.

FOADA Checker est écrit en Java, via l'interface Java-SMT et en utilisant le solveur Z3 SMT pour les parasites, les requêtes de couverture et la génération d'interpolation.

No results found for this meaning.

Word & Expression of the day

elucidate

on cloud nine

Image of the day

Reveal the word

ladder

Advertising

More features with our free app

Voice and photo translation, offline features, synonyms, conjugation, learning games

Results: 1. Exact: 1. Elapsed time: 45 ms.

Word index: 1-300, 301-600, 601-900

Expression index: 1-400, 401-800, 801-1200

Phrase index: 1-400, 401-800, 801-1200