Výsledky vyhľadávania - "Software/Program Verification—Model checking General Terms Algorithms"

  • Zobrazené výsledky 1 - 4 z 4
Upresniť hľadanie
  1. 1

    Categories and Subject Descriptors D.2.2 [Software Engeneering]: Software/Program Verification--model checking General Terms Algorithms, Verification

    Prispievatelia: The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.fi.muni.cz/~xpelanek/publications/f14-pelanek.ps.

    Predmety: State space exploration, Formal verification

    Popis súboru: application/postscript

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.3846

    Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.3846
    http://www.fi.muni.cz/~xpelanek/publications/f14-pelanek.ps

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    F.: Timing analysis enhancement for synchronous program

    Autori: Pascal Raymond Claire Maiza Catherine Parent-vigouroux a ďalší

    Prispievatelia: Pascal Raymond Claire Maiza Catherine Parent-vigouroux a ďalší

    Zdroj: http://www-verimag.imag.fr/PUBLIS/uploads/ovcuf5189.pdf.

    Predmety: Purpose and Application-Based Systems—Real-time and embedded systems, D.2.8 [Software Engineering, Met- rics—Performance measures, D.2.4 [Software Engineer- ing, Software/Program Verification—Model checking General Terms Algorithms, Measurement, Verification Keywords WCET, Model-Based Design, Synchronous Languages, Model Checking, Traceability

    Popis súboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.140

    Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.140
    http://www-verimag.imag.fr/PUBLIS/uploads/ovcuf5189.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  3. 3

    A Survey on Data-Flow Testing.

    Autori: TING SU KE WU WEIKAI MIAO a ďalší

    Zdroj: ACM Computing Surveys; Jan2018, Vol. 50 Issue 1, p1-35, 35p, 7 Diagrams, 2 Charts, 5 Graphs

    Predmety: DATA flow computing, DATA mining, COMPUTER security, FAULT-tolerant computing, INTERNET security

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  4. 4

    Automatic RTL Test Generation from SystemC TLM Specifications.

    Autori: Chen, Mingsong Mishra, Prabhat Kalita, Dhrubajyoti

    Zdroj: ACM Transactions on Embedded Computing Systems; Jul2012, Vol. 11 Issue 2, p38-38:25, 25p

    Predmety: SYSTEMS on a chip, COMPLEXITY (Philosophy), ADAPTIVE computing systems, ARRAY processors, APT (Computer program language), SOFTWARE validation

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: