Je was op zoek naar: checker (Grieks - Engels)

aspell @ item: inlistbox spell checker
aspell

& Κωδικοποίηση: @ item: inlistbox spell checker
& encoding:

Διεθνές ispell @ item: inlistbox spell checker
international ispell

Το "adelaide refinement checker" ("arc") είναι ελεγκτής εκλέπτυνσης csp που αναπτύχθηκε από το formal modelling and verification group του Πανεπιστημίου της Αδελαΐδας.
the "adelaide refinement checker" ("arc") is a csp refinement checker developed by the formal modelling and verification group at the university of adelaide.

* "the spin model checker: primer and reference manual", gerard j. holzmann, addison-wesley, isbn 0-321-22862-6.
* "the spin model checker: primer and reference manual", gerard j. holzmann, addison-wesley, isbn 0-321-22862-6.