Rapid Application of Lightweight Formal Methods for Consistency Analyses

نویسنده

  • Martin S. Feather
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999