Εμφανίζονται 1 - 20 Αποτελέσματα από 76 για την αναζήτηση '"symbolic model checking"', χρόνος αναζήτησης: 0,63δλ Περιορισμός αποτελεσμάτων
  1. 1
    Formal methods for industrial critical systems : a survey of applications /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Symbolic Model Checking for Avionics /…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  2. 2
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… to Hybrid Systems -- Infinite Games and Verification -- Symbolic Model Checking -- Symbolic Localization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Properties of a PowerPC? Microprocessor Using Symbolic Model Checking without BDDs -- Model Checking the IBM…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- On Memory-Block Traversal Problems in Model-Checking Timed Systems -- Symbolic Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
    ανά Herdt, Vladimir
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Abstraction Refinement for Large Scale Model Checking
    ανά Wang, Chao, Hachtel, Gary D., Somenzi, Fabio
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Symbolic Model Checking -- Abstraction -- Refinement -- Compositional SCC Analysis -- Disjunctive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    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
    Πίνακας περιεχομένων: “… Automata -- Symbolic Model Checking for Simply-Timed Systems -- Robustness and Implementability of Timed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…-stable channels are effectively recognizable -- Combining constraint solving and symbolic model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Logic for Concurrency and Synchronisation
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Introduction to Symbolic Model Checking -- Modal Logics for Finite Graphs -- Bisimulation and Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- A Performance Study of BDD-Based Model Checking -- Symbolic Model Checking Visualization -- Input…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Handbook of Model Checking
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Binary Decision Diagrams -- BDD-Based Symbolic Model Checking -- Propositional SAT Solving -- SAT-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… utility for linking promela and symbolic model checking (tool paper) -- p2b: A translation utility…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Checking and Induction: From Refutation to Verification -- Symbolic Model Checking -- Reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    25 Years of Model Checking History, Achievements, Perspectives /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Symbolic Model Checking and Simulation with Temporal Assertions -- Automotive System Design and Autosar.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Nadia Busi (1968–2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Transactions on Petri Nets and Other Models of Concurrency X
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email