-
1Published 2013Table of Contents: “…Symbolic Model Checking for Avionics /…”
Full Text via HEAL-Link
eBook -
2Published 2007Table of Contents: “…A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying…”
Full Text via HEAL-Link
Electronic eBook -
3Published 2002Table of Contents: “… to Hybrid Systems -- Infinite Games and Verification -- Symbolic Model Checking -- Symbolic Localization…”
Full Text via HEAL-Link
Electronic eBook -
4Published 1999Table of Contents: “… Properties of a PowerPC? Microprocessor Using Symbolic Model Checking without BDDs -- Model Checking the IBM…”
Full Text via HEAL-Link
Electronic eBook -
5Published 2000Table of Contents: “… -- On Memory-Block Traversal Problems in Model-Checking Timed Systems -- Symbolic Model Checking…”
Full Text via HEAL-Link
Electronic eBook -
6by Herdt, VladimirTable of Contents: “…Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model…”
Published 2016
Full Text via HEAL-Link
Electronic eBook -
7Published 2014Table of Contents: “… Scenario Quality Using Quasi-Events -- Combined Bounded and Symbolic Model Checking for Incomplete Timed…”
Full Text via HEAL-Link
Electronic eBook -
8Table of Contents: “…Symbolic Model Checking -- Abstraction -- Refinement -- Compositional SCC Analysis -- Disjunctive…”
Full Text via HEAL-Link
Electronic eBook -
9Published 2004Table of Contents: “… Automata -- Symbolic Model Checking for Simply-Timed Systems -- Robustness and Implementability of Timed…”
Full Text via HEAL-Link
Electronic eBook -
10Published 1997Table of Contents: “…-stable channels are effectively recognizable -- Combining constraint solving and symbolic model checking…”
Full Text via HEAL-Link
Electronic eBook -
11Published 2003Table of Contents: “… Introduction to Symbolic Model Checking -- Modal Logics for Finite Graphs -- Bisimulation and Language…”
Full Text via HEAL-Link
Electronic eBook -
12Published 1998Table of Contents: “… -- A Performance Study of BDD-Based Model Checking -- Symbolic Model Checking Visualization -- Input…”
Full Text via HEAL-Link
Electronic eBook -
13Published 2018Table of Contents: “… -- Binary Decision Diagrams -- BDD-Based Symbolic Model Checking -- Propositional SAT Solving -- SAT-Based…”
Full Text via HEAL-Link
Electronic eBook -
14Published 2001Table of Contents: “… utility for linking promela and symbolic model checking (tool paper) -- p2b: A translation utility…”
Full Text via HEAL-Link
Electronic eBook -
15Published 2003Table of Contents: “… Checking and Induction: From Refutation to Verification -- Symbolic Model Checking -- Reasoning…”
Full Text via HEAL-Link
Electronic eBook -
16Published 2012Table of Contents: “… -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open…”
Full Text via HEAL-Link
Electronic eBook -
17Published 2008Table of Contents: “… -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church…”
Full Text via HEAL-Link
Electronic eBook -
18Published 2005Table of Contents: “… -- Symbolic Model Checking and Simulation with Temporal Assertions -- Automotive System Design and Autosar.…”
Full Text via HEAL-Link
Electronic eBook -
19Published 2009Table of Contents: “…Nadia Busi (1968–2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models…”
Full Text via HEAL-Link
Electronic eBook -
20Published 2015Table of Contents: “… Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model…”
Full Text via HEAL-Link
Electronic eBook