Model verification and improvement using DISPROVER

&
Artificial Intelligence 6 (1):41-52 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(75)90015-6

Links

PhilArchive



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

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

Enhancing model checking in verification by AI techniques.Francesco Buccafurri, Thomas Eiter, Georg Gottlob & Nicola Leone - 1999 - Artificial Intelligence 112 (1-2):57-104.
Artificial Intelligence: Its Scope and Limits.James H. Fetzer - 1990 - Kluwer Academic Publishers.
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.
Optimizing ontology alignments through a Memetic Algorithm using both MatchFmeasure and Unanimous Improvement Ratio.Xingsi Xue & Yuping Wang - 2015 - Artificial Intelligence 223:65-81.
Verification in incomplete argumentation frameworks.Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe & Hilmar Schadrack - 2018 - Artificial Intelligence 264 (C):1-26.
Parameterised verification for multi-agent systems.Panagiotis Kouvaros & Alessio Lomuscio - 2016 - Artificial Intelligence 234 (C):152-189.
Verification of agent navigation in partially-known environments.Benjamin Aminof, Aniello Murano, Sasha Rubin & Florian Zuleger - 2022 - Artificial Intelligence 308 (C):103724.
Localization and homing using combinations of model views.Ronen Basri & Ehud Rivlin - 1995 - Artificial Intelligence 78 (1-2):327-354.
Verification of knowledge bases based on containment checking.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 101 (1-2):227-250.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,558,750)

6 months
5 (#836,975)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
Modeling simultaneous actions and continuous processes.Gary G. Hendrix - 1973 - Artificial Intelligence 4 (3-4):145-180.

Add more references