类 型
14 篇文献
 
Automated Black-Box Testing with Abstract VDM Oracles  
Abstract. In this paper the possibilities to automate black-box testing through formal requirement speci cations are explored. More precisely, the formal method VDM (Vienna Development Method) serves ......
International Conference on Computer Safety, Reliability and Security  1999
8次引用 0 0
A Proof Obligation Generator for the IFAD VDM-SL Toolbox  
Abstract During the last years, the interest in formal methods for software development has been growing rapidly. One of the reasons for this is the availability of tools to support the developer in u......
1次引用 0 0
VDMTools: advances in support for formal modeling in VDM  
We describe the current status of "VDMTools", a group of tools supporting the analysis of system models expressed in the formal language of the Vienna Development Method. Three dialects of the languag......
0次引用 0 0
VDMTools: advances in support for formal modeling in VDM  
We describe the current status of "VDMTools", a group of tools supporting the analysis of system models expressed in the for- mal language of the Vienna Development Method. Three dialects of the langu......
Sigplan Notices  2008
10次引用 0 0
The overture initiative integrating tools for VDM  
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems using VDM. The mission ......
ACM Sigsoft Software Engineering Notes  2010
2次引用 0 0
An Isabelle-Based Theorem Prover for VDM-SL  
. This paper describes the theorem proving component of a larger software development environment for the ISO standardized specification language VDM-SL. This component is constructed as an instantiat......
Theorem Proving in Higher Order Logics  1997
11次引用 0 0
Building a push-button RESOLVE verifier: Progress and challenges  
A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compil......
Formal Aspects of Computing  2010
3次引用 0 0
Proof Obligation Generation and Discharging for Recursive Definitions in VDM  
A proof obligation is a theorem stating that a certain property must hold in order for a formal specification to be internally consistent. If a proof obligation can be proved, then the referred part i......
IEEE International Conference on Formal Engineering Methods  2010
0次引用 0 0
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM  
Abstract The development of distributed real-time embedded systems presents a significant practical challenge both because of the complexity of distributed computation and because of the need to rapid......
Journal of Object Technology  2009
0次引用 0 0
Automatic Translation of VDM-SL Specifications into Gofer  
Interest in the use of functional languages for prototyping and animating formal specifications has decreased recently, as some of the limitations of traditional approaches have become apparent, in co......
World Congress on Formal Methods  1997
3次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜