Rapid Application of Lightweight Formal Methods for Consistency Analyses
نویسنده
چکیده
Lightweight formal methods promise to yield modest analysis results in an extremely rapid manner. To fulfill this promise, they must be able to work with existing information sources, be able to analyze for manifestly desirable properties, be highly automated (especially if dealing with voluminous amounts of information), and be readily customizable ancl flexible in the face of emerging needs and understanding. Two pilot studies investigate the feasibility of lightweight formal mcthocis that employ a database as the underlying reasoning engine to perform the analyses. The first study concerns aspects of software module interfaces, the second test logs’ adherence to required and expected conditions.
منابع مشابه
Rapid Application of Lightweight Formal Methods for Consistency Analysis
Lightweight formal methods promise to yield modest analysis results in an extremely rapid manner. To fulfill this promise, they must be able to work with existing information sources, be able to analyze for manifestly desirable properties, be highly automated (especially if dealing with voluminous amounts of information), and be readily customizable and flexible in the face of emerging needs an...
متن کاملGSLHA: Group-based Secure Lightweight Handover Authentication Protocol for M2M Communication
Machine to machine (M2M) communication, which is also known as machine type communication (MTC), is one of the most fascinating parts of mobile communication technology and also an important practical application of the Internet of Things. The main objective of this type of communication, is handling massive heterogeneous devices with low network overheads and high security guarantees. Hence, v...
متن کاملFormal Methods for V & V of partial speci cations : An experience report
This paper describes our work exploring the suitability of formal speci cation methods for independent veri cation and validation (IV&V) of software speci cations for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete speci cations, with no control over how those speci cations are represented. Lightweight formal methods show signi cant promise i...
متن کاملFormal Methods for V&V of Partial Specifications: An Experience RSeport
This paper describes our work exploring the suit-ability of formal speciication methods for independent veriication and validation (IV&V) of software speciications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete speciications, with no control over how those speciications are represented. Lightweight formal methods show signiicant promise ...
متن کاملDesigning accessible lightweight formal verifi- cation systems
In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, broad accessibility has not been a priority in the design of formal verification tools that can provide these benefits. We propose a few design criteria to...
متن کامل