Εμφανίζονται 121 - 140 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 121
    FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Nearly Fair Coins in the Cryptographers’ Café -- Model Checking I -- Recursive Abstractions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 122
    Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Automation Systems -- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 123
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Diagrams -- Model Checking -- Program Generation using Simulated Annealing and Model Checking -- LTL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 124
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 125
    CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software -- Performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 126
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Congruences -- An Automated Translator for Model Checking Time Constrained Workflow Systems -- Correctness…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 127
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… from Relations -- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 128
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Checking Statistical Model Checking Past, Present, and Future -- An Effective Heuristic for Adaptive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 129
    Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 130
    CONCUR 2004 - Concurrency Theory 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…Invited Papers -- Zing: Exploiting Program Structure for Model Checking Concurrent Software -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 131
    Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Scenario Quality Using Quasi-Events -- Combined Bounded and Symbolic Model Checking for Incomplete Timed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 132
    Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Agents -- Part III: Model Checking -- Abstraction for Model Checking Modular Interpreted Systems over ATL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 133
    CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Verification -- "Next" Heuristic for On-the-Fly Model Checking -- Model Checking of Message Sequence Charts…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 134
    Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 135
    Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…-Carrying Code -- Bounded Model Checking and SAT-Based Methods -- Automatic Abstraction without…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 136
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Translator of B Specifications to Embedded C Programs -- Integrating Model-Checking Architectural Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 137
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 138
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 139
    FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 140
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email