About: Abstract model checking

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Abstract model checking Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In computer science and in mathematics, abstraction model checking is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a kind of translation to scaled down "abstract" version. The set of variables are partitioned into visible and invisible depending on their change of values. The real state space is summarized into a smaller set of the visible ones.

Attributes	Values
rdfs:label	Abstract model checking (en)
rdfs:comment	In computer science and in mathematics, abstraction model checking is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a kind of translation to scaled down "abstract" version. The set of variables are partitioned into visible and invisible depending on their change of values. The real state space is summarized into a smaller set of the visible ones. (en)
dbp:wikiPageUsesTemplate	dbt:Cite_journal dbt:Cmn dbt:Improve_categories dbt:Reflist
Subject	Model checking
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Abstract_model_checking?oldid=1059774295&ns=0
Wikipage page ID	9127968 (xsd:integer)
page length (characters) of wiki page	1680 (xsd:nonNegativeInteger)
Wikipage revision ID	1059774295 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal verification Program analysis Abstract interpretation Abstract space Automated theorem proving State space Static program analysis Model checking List of model checking tools Computation tree logic Computer science Galois connection Continuous and discrete variables Mathematics
has abstract	In computer science and in mathematics, abstraction model checking is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a kind of translation to scaled down "abstract" version. The set of variables are partitioned into visible and invisible depending on their change of values. The real state space is summarized into a smaller set of the visible ones. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Abstract_model_checking
is Wikipage redirect of	Abstraction model checking
is Link from a Wikipage to another Wikipage of	Abstraction model checking Hybrid system
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Abstract_model_checking

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (82 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software