Sten Agerholm, Peter Gorm Larsen  Home/Search
Context Related
| ifad.dk/pub/papers/lfm97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ifad.dk/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal methods can be applied with different levels of rigor. The more rigorously used, the more confidence is obtained in a formal model of a computer system. However, rigorous development using formal verification requires skilled personnel and is costly. Based on our experience of introducing formal specification to some European industrial companies, e.g. British Aerospace [7] and Aerospatiale [3], we believe that a less rigorous approach using validation by testing is a complement to... (Update)
Context of citations to this paper: More
.... been done in the area of formal specifications to find a compromise between prototypes and informal validation techniques (see [2, 42, 15, 56, 61, 43, 55, 76]) We used one of these technique for validating the formal specification of the DUMAS. 3. Validating the specification...
...logical formulas. In a PVS sequent, numbered) antecedent formulas serve as premises for establishing (numbered) consequent formulas: [ 1] antecedent 1 [ 2] antecedent 2 [1] consequent 1 [2] consequent 2 Antecedents are considered to form a conjunction...
Cited by: More
Practical Application of Formal Methods in Modeling and Simulation - National (Correct)
Enhancing PVS to Support Evaluating, Testing, and . . . - Crow, al. (Correct)
Use of the Stalmarck Method 1 - Me Th Od (Correct)
Active bibliography (related documents): More All
0.5: PICGAL: Practical use of Formal Specification to Develop .. - Devauchelle, Larsen.. (1997) (Correct)
0.5: NASA Langley's Research and Technology-Transfer.. - Butler.. (1998) (Correct)
0.4: The return of VDM to Austria - Larsen (1998) (Correct)
Similar documents based on text: More All
0.4: Weightless Testing of a Ratchetless Extravehicular Activity.. - Roberts, Akin (1999) (Correct)
0.3: SAFER Specification in VDM-SL - Agerholm, Larsen (1997) (Correct)
0.3: A Lightweight Approach to Formal Methods - Agerholm, Larsen (1998) (Correct)
Related documents from co-citation: More All
6: their environments and system software interfaces --- Vienna Development Method .. (context) - Larsen, Hansen et al. - 1996
5: British Standards Institution (context) - Language, ProtoStandard - 1990
5: Systematic Software Development using VDM - Jones - 1986
BibTeX entry: (Update)
Sten Agerholm and Peter Gorm Larsen. Modeling and validating safer in vdm-sl. In Michael Holloway, editor, Fourth NASA Langley Formal Methods Workshop. NASA, September 1997. Available from http://atb-www.larc.nasa.gov/Lfm97/proceedings/. http://citeseer.ist.psu.edu/agerholm97modeling.html More
@inproceedings{ agerholm97modeling,
author = "Sten Agerholm and Peter Gorm Larsen",
title = "Modeling and Validating {SAFER} in {VDM}-{SL}",
booktitle = "Fourth {NASA} Langley Formal Methods Workshop",
month = "September",
editor = "Michael Holloway",
year = "1997",
url = "citeseer.ist.psu.edu/agerholm97modeling.html" }
Citations (may not include all citations):26 The IFAD VDM-SL Toolbox: A Practical Approach to Formal Spec.. - Elmstrom, Larsen et al. - 1994
22 Computer-aided Validation of Formal Specifications (context) - Mukherjee - 1995
20 their environments and system software interfaces --- Vienna.. (context) - Larsen, Hansen et al. - 1996
6 Combining VDM-SL Specifications with C++ Code - Frohlich, Larsen - 1996
5 Applying Formal Specification in Industry (context) - Larsen, Fitzgerald et al. - 1996
2 Formal methods technology-transfer: a view from nasa - Caldwell - 1996
1 PICGAL: Lessons Learnt from a Practical Use of Formal Specif.. (context) - Devauchelle, Larsen et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ifad.dk/publications.htm): More
A Formal Event Structuring Approach to Real-Time Design - Larsen (1990) (Correct)
An Event Structuring Approach to Real-Time Design - Larsen (1990) (Correct)
An executable subset of VDM-SL, in an SA/RT framework - Elmstrøm, Lassen, Andersen (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC