Suggested Topics within your search.
Showing 1 - 20 results of 527 for search '"Model-checking"', query time: 2.16s Refine Results
  1. 1
    Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité
    by Pellegrino, Giancarlo
    Published 2013
    Subjects: “...Model checking...”
    Get full text
  2. 2
    Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne
    by Troncale, Sylvie
    Published 2008
    Subjects: “...Méthodes de model-checking...”
    Get full text
  3. 3
    An inverse method for the synthesis of timing parameters in concurrent systems
    by André, Etienne
    Published 2010
    Subjects: “...Model-checking...”
    Get full text
    Get full text
  4. 4
    Abstractions booléennes pour la vérification des systèmes temps-réel
    by Kang, Eun-Young
    Published 2007
    Subjects: “...Model checking...”
    Get full text
  5. 5
    Compilation de réseaux de Petri : modèles haut niveau et symétries de processus
    by Fronc, Lukasz
    Published 2013
    Subjects: “...Model-checking...”
    Get full text
  6. 6
    Small Model Theorems for Verification of Parameterized Systems
    by Sävström, Tomas
    Published 2015
    Subjects: “...Model Checking...”
    Get full text
    Others
  7. 7
    Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles
    by Declerck, David
    Published 2018
    Subjects: “...Model checking...”
    Get full text
  8. 8
    Synthesis of Interactive Reactive Systems
    by Bozianu, Rodica
    Published 2016
    Subjects: “...Model Checking...”
    Get full text
  9. 9
    Sthread: In-Vivo Model Checking of Multithreaded Programs
    by Cooperman, G., Quinson, M.
    Published 2020
    Subjects: “...in-vivo model checking...”
    View Fulltext in Publisher
    Article
  10. 10
    The application of adaptive symmetry reduction for LTL model checking
    by I. V. Konnov, V. A. Zakharov
    Published 2010-12-01
    Subjects: “...model checking...”
    Get full text
    Article
  11. 11
    The Fixpoint Checking Problem: An Abstraction Refinement Perspective
    by Ganty, Pierre P
    Published 2007
    Subjects: “...Model-Checking/Model-Checking...”
    Get full text
    Others
  12. 12
    ⌈-Pomset pour la modélisation et la vérification de systèmes parallèles
    by Sakho, Mouhamadou Tafsir
    Published 2014
    Subjects: “...Model-checking...”
    Get full text
  13. 13
    Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks
    by Chai, Xinwei
    Published 2019
    Subjects: “...Model checking...”
    Get full text
  14. 14
    Verifying a Quantitative Relaxation of Linearizability via Refinement
    by Adhikari, Kiran
    Published 2013
    Subjects: “...Model Checking...”
    Get full text
    Others
  15. 15
    On Construction and Verification of PLC-Programs
    by E. V. Kuzmin, V. A. Sokolov
    Published 2015-02-01
    Subjects: “...model checking...”
    Get full text
    Article
  16. 16
    Model Checking of Distributed Systems with Affine Data Structures
    by N. O. Garanina
    Published 2010-12-01
    Subjects: “...symbolic model checking...”
    Get full text
    Article
  17. 17
    A Divide and Conquer Approach to Eventual Model Checking
    Subjects: “...model checking...”
    Get full text
    Article
  18. 18
    Vérification de modèles floue
    by Constantineau, Ivan
    Published 2006
    Subjects: “...Model-checking (Informatique)...”
    Get full text
    Others
  19. 19
    Model Checking Time Triggered CAN Protocols
    by Keating, Daniel
    Published 2011
    Subjects: “...model checking...”
    Get full text
  20. 20
    Fast error detection with coverage guarantees for concurrent software
    by Coons, Katherine Elizabeth
    Published 2013
    Subjects: “...Model checking...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search