Showing 1 - 20 results of 76 for search '"symbolic model checking"', query time: 0.12s Refine Results
  1. 1
    Formal methods for industrial critical systems : a survey of applications /
    Published 2013
    Table of Contents: “…Symbolic Model Checking for Avionics /…”
    Full Text via HEAL-Link
    eBook
  2. 2
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    Published 2007
    Table of Contents: “…A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
    Published 2002
    Table of Contents: “… to Hybrid Systems -- Infinite Games and Verification -- Symbolic Model Checking -- Symbolic Localization…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Properties of a PowerPC? Microprocessor Using Symbolic Model Checking without BDDs -- Model Checking the IBM…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2000
    Table of Contents: “… -- On Memory-Block Traversal Problems in Model-Checking Timed Systems -- Symbolic Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
    by Herdt, Vladimir
    Published 2016
    Table of Contents: “…Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Scenario Quality Using Quasi-Events -- Combined Bounded and Symbolic Model Checking for Incomplete Timed…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Abstraction Refinement for Large Scale Model Checking
    Table of Contents: “…Symbolic Model Checking -- Abstraction -- Refinement -- Compositional SCC Analysis -- Disjunctive…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2004
    Table of Contents: “… Automata -- Symbolic Model Checking for Simply-Timed Systems -- Robustness and Implementability of Timed…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Published 1997
    Table of Contents: “…-stable channels are effectively recognizable -- Combining constraint solving and symbolic model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Logic for Concurrency and Synchronisation
    Published 2003
    Table of Contents: “… Introduction to Symbolic Model Checking -- Modal Logics for Finite Graphs -- Bisimulation and Language…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
    Published 1998
    Table of Contents: “… -- A Performance Study of BDD-Based Model Checking -- Symbolic Model Checking Visualization -- Input…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Handbook of Model Checking
    Published 2018
    Table of Contents: “… -- Binary Decision Diagrams -- BDD-Based Symbolic Model Checking -- Propositional SAT Solving -- SAT-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /
    Published 2001
    Table of Contents: “… utility for linking promela and symbolic model checking (tool paper) -- p2b: A translation utility…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Checking and Induction: From Refutation to Verification -- Symbolic Model Checking -- Reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
    Published 2012
    Table of Contents: “… -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Table of Contents: “… -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
    Published 2005
    Table of Contents: “… -- Symbolic Model Checking and Simulation with Temporal Assertions -- Automotive System Design and Autosar.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
    Published 2009
    Table of Contents: “…Nadia Busi (1968–2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Transactions on Petri Nets and Other Models of Concurrency X
    Published 2015
    Table of Contents: “… Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search