Enhancing model checking in verification by AI techniques

, , &
Artificial Intelligence 112 (1-2):57-104 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(99)00039-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

From model checking to equilibrium checking: Reactive modules for rational verification.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Artificial Intelligence 248 (C):123-157.
Sat-based verification of security protocols via translation to networks of automata.Mirosław Kurkowski, Wojciech Penczek & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 146--165.
Verification of knowledge bases based on containment checking.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 101 (1-2):227-250.
Artificial Intelligence: Its Scope and Limits.James H. Fetzer - 1990 - Kluwer Academic Publishers.
A framework for model checking institutions.Francesco Vigano - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 129--145.
Real-time model checking on secondary storage.Stefan Edelkamp & Shahid Jabbar - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 67--83.
Symbolic model checking of logics with actions.Charles Pecheur & Franco Raimondi - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 113--128.
Distributed extended beam search for quantitative model checking.Anton J. Wijs & Bert Lisser - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 166--184.
Model Checking and Artificial Intelligence.A. Lomuscio & S. Edelkamp (eds.) - 2007 - Springer.
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,559,732)

6 months
4 (#1,005,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Revising System Specifications in Temporal Logic.Paulo T. Guerra & Renata Wassermann - 2022 - Journal of Logic, Language and Information 31 (4):591-618.

Add more citations

References found in this work

No references found.

Add more references