Geodesic
Towards automated proofs of observational properties
Discrete mathematics & theoretical computer science, Tome 6 (2003-2004) no. 2 Cet article a éte moissonné depuis la source Episciences

Voir la notice de l'article

Observational theories are a generalization of first-order theories where two objects are observationally equal if they cannot be distinguished by experiments with observable results. Such experiments, called contexts, are usually infinite. Therfore, we consider a special finite set of contexts, called cover-contexts, ''\emphcovering'' all the observable contexts. Then, we show that to prove that two objects are observationally equal, it is sufficient to prove that they are equal (in the classical sense) under these cover-contexts. We give methods based on rewriting techniques, for constructing such cover-contexts for interesting classes of observational specifications. 
@article{DMTCS_2004_6_2_a20,
     author = {Berregeb, Narjes and Robbana, Riadh and Tiwari, Ashish},
     title = {Towards automated proofs of observational properties},
     journal = {Discrete mathematics & theoretical computer science},
     year = {2003-2004},
     volume = {6},
     number = {2},
     doi = {10.46298/dmtcs.331},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.331/}
}
TY  - JOUR
AU  - Berregeb, Narjes
AU  - Robbana, Riadh
AU  - Tiwari, Ashish
TI  - Towards automated proofs of observational properties
JO  - Discrete mathematics & theoretical computer science
PY  - 2003-2004
VL  - 6
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.331/
DO  - 10.46298/dmtcs.331
LA  - en
ID  - DMTCS_2004_6_2_a20
ER  - 
%0 Journal Article
%A Berregeb, Narjes
%A Robbana, Riadh
%A Tiwari, Ashish
%T Towards automated proofs of observational properties
%J Discrete mathematics & theoretical computer science
%D 2003-2004
%V 6
%N 2
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.331/
%R 10.46298/dmtcs.331
%G en
%F DMTCS_2004_6_2_a20
Berregeb, Narjes; Robbana, Riadh; Tiwari, Ashish. Towards automated proofs of observational properties. Discrete mathematics & theoretical computer science, Tome 6 (2003-2004) no. 2. doi: 10.46298/dmtcs.331

Cité par Sources :