Search Results

Showing 1 - 17 results of 17 for search '"model checking"', query time: 0.14s Refine Results
  1. 1
    “...International audience We propose a model-checking tool for on-the-fly verification of properties...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  2. 2
    “...International audience We propose a model-checking tool for on-the-fly verification of properties...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  3. 3
    “...International audience We propose a model-checking tool for on-the-fly verification of properties...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  4. 4
    “...International audience Statistical model checking has become a promising technique to circumvent...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  5. 5
    “...International audience Statistical model checking has become a promising technique to circumvent...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  6. 6
    “... the capabilities of modern SAT-solvers, bounded model checking (BMC) for discrete-time Markov chains...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  7. 7
    “... the capabilities of modern SAT-solvers, bounded model checking (BMC) for discrete-time Markov chains...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  8. 8
    “... the capabilities of modern SAT-solvers, bounded model checking (BMC) for discrete-time Markov chains...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  9. 9
    Subjects: “...model checking...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  10. 10
    Subjects: “...model checking...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  11. 11
    Subjects: “...model checking...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  12. 12
    “... in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  13. 13
    “... in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  14. 14
    “... in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  15. 15
    “... properties that are precalculated based on model checking. As local knowledge is not always sufficient...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  16. 16
    “... properties that are precalculated based on model checking. As local knowledge is not always sufficient...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  17. 17
    “... properties that are precalculated based on model checking. As local knowledge is not always sufficient...”
    Get access
    Get access
    Get access
    Get access
    Conference Object
Search Tools: Get RSS Feed