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