Showing 301 - 320 results of 2,051 for search 'interpretability logic', query time: 0.11s Refine Results
  1. 301
    Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
    Published 2008
    Table of Contents: “… Segmentation of Vietnamese Texts -- On Linear Logic Planning and Concurrency -- On the Relation between…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 302
    Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 303
    Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
    Published 2017
    Table of Contents: “… by Abstract Interpretation -- Automatic Verification of Finite Precision Implementations of Linear Controllers…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 304
    Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity /
    by Zeume, Thomas
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 305
    NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 306
    Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /
    Published 2009
    Table of Contents: “… the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 307
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- On the Relationship between Spatial Logics and Behavioral Simulations -- Modal and Temporal Logics -- An Easy…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 308
    Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings /
    Published 2010
    Table of Contents: “…: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 309
    Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
    Published 2010
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 310
    Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
    Published 2010
    Table of Contents: “… and Temporal Logic Model Checking -- A Note on Traces Refinement and the conf Relation in the Unifying Theories…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 311
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- To Goto Where No Statement Has Gone Before -- Invited Talk -- The Next 700 Separation Logics -- Locality…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 312
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Satisfaction of Temporal Logic over Real-Valued Signals -- Combining Symbolic Representations for Solving Timed…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 313
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “… and Compositional Reachability for Timed Automata -- Temporal Logics over Linear Time Domains Are in PSPACE -- Lossy…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 314
    Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /
    Published 2010
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 315
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
    Published 2010
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 316
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Approach to Data Sharing Agreements -- A Logical Framework to Deal with Variability -- Adding Change Impact…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 317
    Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /
    Published 2010
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 318
    Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 319
    Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 320
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Published 2014
    Table of Contents: “… -- Runtime Verification of Real-Time and Embedded Systems -- Online Monitoring of Metric Temporal Logic…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search