Search alternatives:
"formal program veri¯cation" » "formal program veri¯creation" (Expand Search)
Showing 1 - 1 results of 1 for search '"formal program veri¯cation"', query time: 0.12s Refine Results
  1. 1
    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers

    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers by N. V. Shilov

    Published 2010-12-01
    Subjects: “…formal program veri¯cation…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: