Towards automated proofs of observational properties Narjes Berregeb and...  @ NUS Home/Search
Context
Related
| dmtcs.loria.fr/pspapers/dm060201.ps Cached: PS.gz PS PDF Image Update Help From: dmtcs.loria.fr/vol...dm060201.abs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction A fundamental aim of formal specifications is to provide a rigorous basis to establish software correctness. Intuitively, a program is correct w.r.t its initial specification if it satisfies all the properties required by this specification. Behavioural abstraction provides a suitable basis for a more adequate notion of correctness. In a behavioural or observational theory, two objects are viewed as being identical if they cannot be ditinguished by observable experiments. Thus,... (Update)
Similar documents (at the sentence level):
7.7%: Towards automated proofs of observational properties - Berregeb, Robbana, Tiwari (2004) (Correct)
Active bibliography (related documents): More All
0.9: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.7: Observational Proofs with Critical Contexts - Berregeb, Bouhoula, Rusinowitch (1998) (Correct)
0.5: Observational Proofs by Rewriting - Bouhoula, Rusinowitch (Correct)
Similar documents based on text: More All
0.4: Observational Proofs by Implicit Context Induction - Berregeb, Bouhoula, Rusinowitch (1997) (Correct)
0.4: From Duration Calculus To Linear Hybrid Automata - Bouajjani, Lakhnech, Robbana (Correct)
0.3: Cv - Tiwari (Correct)
BibTeX entry: (Update)
@misc{ proofs-discrete,
author = "Towards Automated Proofs",
title = "Discrete Mathematics and Theoretical Computer Science 6, 2004, 143--162",
url = "citeseer.comp.nus.edu.sg/700390.html" }
Citations (may not include all citations):224 Algebraic specifications (context) - Wirsing - 1990
121 An approach to object semantics based on terminal co-algebra.. (context) - Reichel - 1995
44 Observational logic - Hennicker, Bidoit - 1999
43 Theoretical Computer Science (context) - Goguen, Malcolm et al. - 2000
35 The specification and application to programming of abstract.. (context) - Guttag - 1975
34 Automatic proofs by induction in theories without constructo.. (context) - Jouannaud, Kounalis - 1989
31 On sufficient completeness and related properties of term re.. (context) - Kapur, Narendran et al. - 1986
30 Context induction: a proof principle for behavioural abstrac.. (context) - Hennicker - 1991
26 Behavioural theories and the proof of behavioural properties - Bidoit, Hennicker - 1996
25 Hidden coinduction: Behavioral correctness proofs for object.. - Goguen, Malcolm - 1999
20 Observational proofs with critical contexts - Berregeb, Bouhoula et al. - 1998
12 Information and Control (context) - Plaisted, completion - 1985
11 Proving the correctness of algebraic implementations by the .. (context) - Bauer, Hennicker - 1993
10 reducibility property in term-rewriting systems (context) - Kounalis, the et al. - 1992
7 A tutorial on coalgebras and coinduction - Jacobs, Rutten - 1997
5 Bulletin of European Association for Theoretical Computer Sc.. (context) - Kaplan, Choquer et al. - 1986
4 Behavioural approaches to algebraic specifications: a compar.. (context) - Bernot, Bidoit et al. - 1994
3 Test set coinduction: Toward automated verification of behav.. (context) - Matsumoto, Futatsugi - 1998
3 Towards an efficient construction of test sets for deciding .. (context) - Shmid, Fettig - 1995
2 Using a generalisation critic to find bisimultations for coi.. (context) - Dennis, Bundy et al. - 1996
2 Two impossibly theorems on behavioural specifications (context) - Schoett - 1992
Documents on the same site (http://dmtcs.loria.fr/volumes/abstracts/dm060201.abs.html):
Towards automated proofs of observational properties - Berregeb, Robbana, Tiwari (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.