প্রদর্শন 1 - 10 ফলাফল এর 25 অনুসন্ধানের জন্য '"Model checking."', জিজ্ঞাসা করার সময়: 0.03সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. অনুযায়ী Bradbury, Jeremy S.

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  2. 2

    Formally modelling software architectures with the UML 2.0 profile for π-ADL. অনুযায়ী Oquendo, Flavio

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Formally modelling software architectures with the UML 2.0 profile for π-ADL.
  3. 3

    Reasoning about confidentiality at requirements engineering time. অনুযায়ী De Landtsheer, Renaud

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Reasoning about confidentiality at requirements engineering time.
  4. 4

    Fluent temporal logic for discrete-time event-based models. অনুযায়ী Letier, Emmanuel

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Fluent temporal logic for discrete-time event-based models.
  5. 5

    Relational analysis of algebraic datatypes. অনুযায়ী Kuncak, Viktor

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Relational analysis of algebraic datatypes.
  6. 6

    Joining dataflow with predicates. অনুযায়ী Fischer, Jeffrey

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Joining dataflow with predicates.
  7. 7

    CUTE a concolic unit testing engine for C. অনুযায়ী Sen, Koushik

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    CUTE a concolic unit testing engine for C.
  8. 8

    CHARMY an extensible tool for architectural analysis. অনুযায়ী Inverardi, Paola

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    CHARMY an extensible tool for architectural analysis.
  9. 9

    Usage model-based automated testing of C++ templates. অনুযায়ী Sayre, Kirk

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Usage model-based automated testing of C++ templates.
  10. 10

    Generating optimal distinguishing sequences with a model checker. অনুযায়ী Robinson-Mallett, Christopher

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Generating optimal distinguishing sequences with a model checker.

অনুসন্ধান সাধনীগুলি: