Showing 1 - 20 results of 63 for search 'interactive theorem proving software', query time: 0.19s Refine Results
  1. 1
    Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Theory -- The Isabelle Collections Framework -- Interactive Termination Proofs Using Termination Cores…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
    Published 2012
    Table of Contents: “… in Coq -- Towards Provably Robust Watermarking -- Priority Inheritance Protocol Proved Correct…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published 2014
    Table of Contents: “… for Regular Expression Equivalence -- Collaborative Interactive Theorem Proving with Clide…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
    Published 2011
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
    Published 2017
    Table of Contents: “…Whitebox Automation -- Automated Theory Exploration for Interactive Theorem Proving…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    by Kaufmann, Matt
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  10. 10
    Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
    Published 2018
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    Published 2008
    Table of Contents: “…Invited Papers -- Twenty Years of Theorem Proving for HOLs Past, Present and Future…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Source-Level Proof Reconstruction for Interactive Theorem Proving -- Proof Pearl: The Power of Higher…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
    Published 1998
    Table of Contents: “… of first-order logic proof systems in HOL -- Exploiting parallelism in interactive theorem provers -- I/O…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
    Published 2003
    Table of Contents: “…Invited Talk I -- Click'n Prove: Interactive Proofs within Set Theory -- Hardware and Assembler…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
    Published 2001
    Table of Contents: “… Theorem Proving: Integrating Maple and PVS -- An Irrational Construction of ? from ? -- HELM…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Formal Verification of IA-64 Division Algorithms -- Fast Tactic-Based Theorem Proving -- Implementing a…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Analysis -- Field-Sensitive Value Analysis by Field-Insensitive Analysis -- Theorem Proving -- Making…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- On the Anonymity of Periodic Location Samples -- Session 7: Access Control and Information Flow -- A Theorem…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Constructing Correct Software
    by Cooke, John
    Published 2005
    Table of Contents: “… -- Sorting Revisited -- Failures and Fixes -- Further Examples -- On Interactive Software.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “… -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search