검색어: model checking (영어 - 그리스어)

checking
Έλεγχος

disc checking
Έλεγχος δίσκου

prior checking
Προηγούμενοι έλεγχοι

checking authorization...
Έλεγχος διαπίστευσης...

spell-checking...
Ορθογραφικός έλεγχος...

schnoebelen: the complexity of temporal logic model checking.
schnoebelen: the complexity of temporal logic model checking.

four years later in 1981 e. m. clarke and e. a. emerson invented ctl and ctl model checking.
Τέσσερα χρόνια αργότερα, το 1981, οι e. m. Κλαρκ και e. a. Έμερσον εφηύραν τη ctl και τον έλεγχο μοντέλων σε ctl.

procedures for validating data and checking model inputs;
τις διαδικασίες επικύρωσης των δεδομένων και ελέγχου των εισαγόμενων παραμέτρων των υποδειγμάτων·

both sublogics have become very important in the model checking community, while ctl* is not yet of practical importance.
Και οι δύο λογικές έχουν καταλήξει να είναι πολύ σημαντικές στην κοινότητα του ελέγχου μοντέλων, ενώ η ctl* δεν έχει ακόμα πρακτική σημασία.

this is surprising because the computational complexity of model checking in ctl* is not worse than that of ltl: they both lie in pspace.
Παρόλα αυτά, η υπολογιστική πολυπλοκότητα του ελέγχου μοντέλων σε ctl* δεν είναι χειρότερη από αυτήν της ltl: και οι δύο ανήκουν στο pspace.

— the technical procedure in annex iv for checking the conformity of production models with the type examined,
- οι τεχνικές λεπτομέρειες του παραρτήματος iv για τον έλεγχο της συμφωνίας των κατασκευαζόμενων συσκευών προς τον τύπο που έχει εξεταστεί'

— the technical procedure in annex iv for the checking of the conformity of production models with the type examined,
- οι τεχνικές λεπτομέρειες του παραρτήματος iv για τον έλεγχο της συμφωνίας των κατασκευαζόμενων συσκευών προς τον τύπο που έχει εξεταστεί'

this includes participation in data consistency checks, conducting comparative analyses on the portfolio and thoroughly checking model inputs and assumptions.
Αυτό σημαίνει μεταξύ άλλων τη συμμετοχή σε ελέγχους της συνέπειας των δεδομένων, τη διενέργεια συγκριτικών αναλύσεων σε επίπεδο χαρτοφυλακίου και τον ενδελεχή έλεγχο των δεδομένων και των υποθέσεων των υποδειγμάτων.

other eye wear tests involve dropping a 44 g ball from a height of 1.30 m, applying pressure to a 10 kg weight placed on top of the model, checking whether the model is dustproof or gas-proof, etc.
Άλλες δοκιμές: ρίψη σφαί­ρας 44 γρ. από 1,3 μέτρα, συμπίεση μάζας 10 κιλών που έχει τοποθετηθεί επάνω στα γυαλιά, στεγανότητα στις σκόνες, στα αέρια κλπ.

* "model checking", edmund m. clarke, jr., orna grumberg and doron a. peled, mit press, 1999, isbn 0-262-03270-8.
* "model checking", edmund m. clarke, jr., orna grumberg and doron a. peled, mit press, 1999, isbn 0-262-03270-8.

* e. a. emerson and c. lei, modalities for model checking: branching time logic strikes back, in "science of computer programming" 8, p 275-306, 1987.
* e. a. emerson and c. lei, modalities for model checking: branching time logic strikes back, in "science of computer programming" 8, p 275-306, 1987.

* "systems and software verification: model-checking techniques and tools", b. berard, m. bidoit, a. finkel, f. laroussinie, a. petit, l. petrucci, p. schnoebelen, isbn 3-540-41523-8* "logic in computer science: modelling and reasoning about systems", michael huth and mark ryan, cambridge university press, 2004.
* "systems and software verification: model-checking techniques and tools", b. berard, m. bidoit, a. finkel, f. laroussinie, a. petit, l. petrucci, p. schnoebelen, isbn 3-540-41523-8* "logic in computer science: modelling and reasoning about systems", michael huth and mark ryan, cambridge university press, 2004.