Showing 1 - 20 results of 140 for search '"abstract interpretation"', query time: 0.11s Refine Results
  1. 1
    Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Automatic Verification by Abstract Interpretation -- Symmetry Reductions in Model-Checking -- Static…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
    Published 2002
    Table of Contents: “…Security and Protocols -- Combining Abstract Interpretation and Model Checking for Analysing…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
    Published 2016
    Table of Contents: “…Abstract Interpretation -- Abstraction -- Hybrid and Timed Systems -- Dynamic and Static…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published 2015
    Table of Contents: “…Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Abstract Interpreters through State and Value Abstractions -- Matching Multiplications in Bit-Vector…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Constraints -- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Published 2008
    Table of Contents: “…Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions -- CTL as an Intermediate…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /
    Published 2019
    Table of Contents: “…Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Abstraction for Liveness -- Heap and Shape Analysis -- Abstract Interpretation with Alien Expressions and Heap…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Published 2014
    Table of Contents: “…Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    by Barthe, Gilles
    Published 2010
    Get full text
    Electronic Kit Book
  20. 20
    Static analysis of software : the abstract interpretation /
    Published 2012
    Table of Contents: “… proof; 2.2.2. Static analysis by abstract interpretation; 2.2.3. Program proof by calculation…”
    Full Text via HEAL-Link
    eBook
Search Tools: RSS Feed – Email Search