Showing 1 - 20 results of 26 for search '"Computer programs Verification"', query time: 2.15s Refine Results
  1. 1
    Model checking: beyond the finite
    by Kahlon, Vineet
    Published 2008
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  2. 2
    Thermal verification of programs
    by Koskinen, Eric John
    Published 2013
    Subjects: “...Computer programs--Verification...”
    Get full text
  3. 3
    Model checking data-independent systems with arrays
    by Newcomb, Tom C.
    Published 2003
    Subjects: “...Computer programs : Verification...”
    Get full text
  4. 4
    Symbolic model checking techniques for BDD-based planning in distributed environments
    by Goel, Anuj, 1973-
    Published 2011
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  5. 5
    Techniques for formal verification of concurrent and distributed program traces
    by Sen, Mehmet Alper
    Published 2008
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  6. 6
    Formal verification of computer controlled systems
    by Harutunian, Shant
    Published 2008
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  7. 7
    Formal verification of computer controlled systems
    by Harutunian, Shant
    Published 2011
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  8. 8
    A software structuring tool for message-based systems
    by Rochat, Kim Lawson
    Published 2011
    Subjects: “...Computer programs--Verification...”
    Get full text
  9. 9
    Call graph reduction by static estimated function execution probability.
    Published 2009
    Subjects: “...Computer programs--Verification...”
    Get full text
    Get full text
    Others
  10. 10
    Program verificatio in functional programming systems
    by Silver, James L.
    Published 2021
    Subjects: “...Computer programs -- Verification...”
    Get full text
    Others
  11. 11
    Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components
    by Mahmood, Nasim, 1976-
    Published 2008
    Subjects: “...Parallel programs (Computer programs)--Verification...”
    Get full text
    Others
  12. 12
    Generalization, lemma generation, and induction in ACL2
    by Erickson, John D., Ph. D.
    Published 2008
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  13. 13
    Efficient and effective symbolic model checking
    by Iyer, Subramanian Krishnan
    Published 2008
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  14. 14
    Inspection methods in programming
    by Rich, Charles
    Published 2005
    Subjects: “...Computer programs Verification...”
    Get full text
    Others
  15. 15
    Using theorem proving and algorithmic decision procedures for large-scale system verification
    by Ray, Sandip
    Published 2008
    Subjects: “...Computer programs--Verification...”
    Get full text
    Others
  16. 16
    Improving Software Quality through Syntax and Semantics Verification of Requirements Models
    by Gaither, Danielle
    Published 2018
    Subjects: “...Computer programs -- Verification....”
    Get full text
    Others
  17. 17
    HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs
    by Huffman, Brian Charles
    Published 2011
    Subjects: “...Computer programs -- Verification...”
    Get full text
    Get full text
    Others
  18. 18
    Mechanization of program construction in Martin-Loef's theory of types
    by Ireland, Andrew
    Published 1989
    Subjects: “...Computer program verification...”
    Get full text
  19. 19
    Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur
    by Salmon, Yann
    Published 2015
    Subjects: “...Computer programs -- Verification...”
    Get full text
  20. 20
    Environment Analysis of Higher-Order Languages
    by Might, Matthew Brendon
    Published 2007
    Subjects: “...Computer programs Verification...”
    Get full text
Search Tools: Get RSS Feed — Email this Search