Showing 221 - 240 results of 887 for search '"model checking"', query time: 0.10s Refine Results
  1. 221
    Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Verification -- Logic -- Continuation and Model Checking.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 222
    Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /
    Published 2013
    Table of Contents: “… distance -- Homing sequences -- Implementation -- Minimization of automata -- Model checking -- Parsing…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 223
    Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings /
    Published 1998
    Table of Contents: “…Invited Talk 1 -- Descriptive Complexity and Model Checking -- Session 1(a) -- Approximation…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 224
    CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings /
    Published 1997
    Table of Contents: “… to model-checking -- Synthesis of nets with inhibitor arcs -- An algebraic theory of multiple clocks…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 225
    Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
    Published 2002
    Table of Contents: “… for Abstract Model Checking -- Making Abstract Model Checking Strongly Preserving -- Semantics for Abstract…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 226
    Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 227
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
    Published 2005
    Table of Contents: “… and Model Checking -- Operational Semantics for Fun and Profit -- On Model Checking Data-Independent Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 228
    Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Applications -- Timed Models and Model Checking -- A Framework for Relating Timed Transition Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 229
    Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… in Real-Time Systems: A Formal Approach -- Test Development with Model Checking Techniques -- Using Model…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 230
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Skeletons from xUML Models -- Bounded Model Checking for Partial Kripke Structures -- Verification of Linear…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 231
    Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 232
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published 2015
    Table of Contents: “… animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 233
    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
  14. 234
    Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude /
    by Ölveczky, Peter Csaba
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  15. 235
    Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “…Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 236
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published 2014
    Table of Contents: “… -- Improved Net Reductions for LTL-X Model-Checking -- Formalizing and Implementing Types in MSVL -- Present…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 237
    Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures /
    Published 2012
    Table of Contents: “…Model Checking and the State Explosion Problem -- From Program to Logic: An Introduction…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 238
    Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Specification -- Concurrency -- Program analysis -- Model checking and runtime verification…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 239
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “…On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 240
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Published 2014
    Table of Contents: “… System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search