Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Directed Model Checking -- Large-Scale Directed Model Checking LTL -- Directed Model Checking...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Invited Contributions -- Software Model Checking Improving Security of a Billion Computers...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
“... on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How...”
Cover Image
Read Now

6
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...StackSnuffer: Curing Orion’s Unsoundness -- Tutorial: Parallel Model Checking -- Local Abstraction...”
Cover Image
Read Now

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Satisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic...”
Cover Image
Read Now

8
Published 2011
Springer Berlin Heidelberg
“... reductions; search strategies; PROMELA encodings and extensions; and applications of model checking...”
Cover Image
Read Now

9
Published 2023
Springer Nature Switzerland
Table of Contents: “... -- ParaGnosis: A Tool for Parallel Knowledge Compilation -- Concurrency -- Model Checking Futexes -- Sound...”
Cover Image
Read Now

10
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Explicit-state model checking techniques -- Other related tools -- Techniques for the verification...”
Cover Image
Read Now

11
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Checking with Hopper -- SEQ.OPEN: A Tool for Efficient Trace-Based Verification -- Model Checking Genetic...”
Cover Image
Read Now

12
by McMillan, Kenneth L.
Published 1993
Springer US
Table of Contents: “...1 Introduction -- 1.1 Background -- 1.2 Scope of this work -- 2 Model Checking -- 2.1 Temporal...”
Cover Image
Read Now

17
Published 2014
Springer Berlin Heidelberg
Table of Contents: “...The tree areas of stochastic models -- Abstraction techniques -- Stochastic model checking...”
Cover Image
Read Now

18
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Automated Evaluation of Secure Route Discovery in MANET Protocols -- Model Checking Abstract Components...”
Cover Image
Read Now

19
Published 2019
Springer International Publishing
Table of Contents: “...Model Verification Through Dependency Graphs -- Model Checking Branching Time Properties...”
Cover Image
Read Now

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Distributed Explicit Fair Cycle Detection (Set Based Approach) -- Efficient Model Checking of Safety...”