A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Special section of Tests and Proofs 2016
2018
Formal Aspects of Computing
Preserved Fulltext
The authors show that with the help of formal methods one can design, specify, implement and check effective data generators for complex data structures with invariants. ...
The TAP conference series was started in 2007 to promote research in verification and formal methods that targets the interplay of proofs and testing. ...
The authors show that with the help of formal methods one can design, specify, implement and check effective data generators for complex data structures with invariants. ...
doi:10.1007/s00165-018-0474-2
fatcat:jmujlxn65ffy7bbyg3utbrpvpy
SEFM: software engineering and formal methods
2014
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Daniel Delahaye, Mélanie Jacquel, Karim Berkani, and Catherine Dubois present in Verifying B Proof Rules using Deep Embedding and Automated Theorem Proving a formal and mechanized framework for verifying ...
Formal methods consist of mathematically based techniques for the specification and verification of software (and hardware) systems. ...
doi:10.1007/s10270-014-0404-6
fatcat:e4ooqbrgfzhjlkbbtpjvi23r2u
Quality, cleanroom and formal methods
2005
Proceedings of the third workshop on Software quality - 3-WoSQ
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It is based on incremental development and it emphasizes the development phase. An enhancement to this methodology is presented in this paper, which combines formal methods and cleanroom. ...
Formal methods use mathematical and logical formalizations to find defects early in the software development lifecycle. ...
Second, they can be applied in an iteration where each increment's design will be formally modeled and verified against its formal specification using an automated model checker. ...
doi:10.1145/1083292.1083302
dblp:conf/icse/LangariP05
fatcat:5qewoow47jh5fmp24dzt2lgtky
Challenges of Software Requirements Quality Assurance and Validation: A Systematic Literature Review
2021
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Please note that in Table V , the category modeling and assessment are relatively different from "model checking," which describes a formal method for verifying an abstract model relative to formal specification ...
Miao et al., "Automated requirements validation for ATP software via specification review and testing," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
doi:10.1109/access.2021.3117989
fatcat:v37iv77twbbdxlxkz5boebtpcm
Formalization of Security Requirements-A Case Study on a Web- Based Application
2022
Journal of scientific research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The objective of this research paper is to provide an idea about the formal specification and formal verification of web-based applications. ...
The use of formal specifications for the security requirements while developing web-based applications is cost-effective, time-saving, and error-free. ...
[4] mention in their survey paper the importance of the formal method in web platforms by classifying and review exiting protocols in the area of the formal method for web security. ...
doi:10.37398/jsr.2022.660214
fatcat:qc3rk5gdlvgjdcwn6hwthw2lhm
Assessing and Supplying the Health of Videos Games via Formal Semantics
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this article, an organizing for this assessment is proposed which is based on formal and rigorous methods and it considers various beneficiaries concerns. ...
A common approach for studying complicated and multilayered phenomenon is formal semantics. Formal and rigorous methods can help in assessment and supplying the health of video games. ...
Literature about Using Formal and Rigorous Methods in Game and Game Developing Using formal and rigorous methods (i.e. using rigorous and formal semantics for games' representations and specifications) ...
arXiv:2104.04867v1
fatcat:ejxz2k6qabhotadf4wcbewsocq
Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis
2008
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Construction of correctness is an essential issue for the implementation of a reliable software system. ...
This tool aims at facilitating the refinement from formal specifications to Spec# and the full usage of the static and dynamic analysis techniques in Spec#. ...
Formal methods refer to mathematically rigorous techniques and tools for the specification, design and verification of software systems [1] . ...
doi:10.5381/jot.2008.7.8.a6
fatcat:fp3lgqa7m5dpbktgpee7cfkedi
A Framework for Classifying and Comparing Architecture-centric Software Evolution Research
2013
2013 17th European Conference on Software Maintenance and Reengineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Method: We performed a systematic literature review (SLR), resulting in 4138 papers searched and 60 peer-reviewed papers considered for data collection. ...
Existing research and practices comprise a wide spectrum of evolution-centric approaches in terms of formalisms, methods, processes and frameworks to tackle ACSE as well as empirical studies to consolidate ...
ACKNOWLEDGMENTS The authors would like to thank the following persons for their feedback and thoughtful suggestions regarding the methodology, data and the final report: Jim Buckely, Jeffrey M. ...
doi:10.1109/csmr.2013.39
dblp:conf/csmr/JamshidiGAP13
fatcat:rdyjnzodebb3lpkgtbqxe2vgsq
A Research Landscape on Formal Verification of Software Architecture Descriptions
2019
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The critical nature of many software systems calls for formal approaches aiming at precisely verifying if their designed architectures can meet important properties such as consistency, completeness, and ...
One of the many different purposes of software architecture descriptions is contributing to an early analysis of the architecture with respect to quality attributes. ...
Validation/evaluation methods. We have noticed that almost 92% of studies present some method of validation. ...
doi:10.1109/access.2019.2953858
fatcat:qkq4p4cnabgnjgaazq2hndxnma
Qualification of a Model Checker for Avionics Software Verification
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
of formal methods for software development and verification. ...
The publication of DO-178C and the accompanying formal methods supplement DO-333 provide guidance for aircraft manufacturers and equipment suppliers who wish to obtain certification credit for the use ...
First, the review and analysis procedures used to verify the TORs are defined. ...
doi:10.1007/978-3-319-57288-8_29
fatcat:dm4j6kbr4fbp3c55ckl6rtvmle
Flight Software Development and Validation Workflow Management System
English
2018
INCAS Bulletin
English
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To that end, the rigorous verification and validation process that yields high quality software products should embrace automation and take full advantage of COTS hardware and software products. ...
New players, new ventures, and new technologies drive the established business towards a transition from traditional models and strategies to automated production and innovative methods. ...
The large number of spacecraft that SSL designs and builds necessitates the adoption of a formal and rigorous process for requirement verification. ...
doi:10.13111/2066-8201.2018.10.1.9
fatcat:c7afqzuowbdjzg4xqztva75o7i
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study
2016
IEEE Embedded Systems Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1706.06369v1 fatcat:f42idpyqzjhwnhyaiqz6umquue
In this letter, we present a rigorous correct by construction approach for the trustworthy development of hemodialysis machines, a sub-class of active medical devices. ...
We show how informal requirements of hemodialysis machines are modeled and analyzed through a rigorous process and suggest a generalization to a larger class of active medical devices. ...
In the requirements specification step, informal user and system requirements are translated into a formal specification using a rigorous method. ...
doi:10.1109/les.2015.2494459
fatcat:eyz425jhmfhapnhsieoaysqhl4
Towards Classification of Lightweight Formal Methods
2018
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. ...
Although the term "lightweight formal methods" has been used for over ten years now, there seems to be no common agreement on what "lightweight" actually means, and different communities apply the term ...
ACKNOWLEDGEMENTS This work has been funded by the Swedish Governmental Agency for Innovation Systems (VINNOVA) under the VeriSpec project 2013-01299. ...
doi:10.5220/0006770803050313
dblp:conf/enase/ZamanskySRHB18
fatcat:oc42ievbv5gczlzr2ha3nb3npm
Towards Classification of Lightweight Formal Methods
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. ...
Although the term "lightweight formal methods" has been used for over ten years now, there seems to be no common agreement on what "lightweight" actually means, and different communities apply the term ...
INTRODUCTION Lightweight formal methods (LFM) is an increasingly popular approach to apply formal methods (FM) in a rapid and cost-effective way. ...
arXiv:1807.01923v1
fatcat:mtva2xfs5bgkfdtjzxjpbraoba
Hardware certification for real-time safety-critical systems: State of the art
2010
Annual Reviews in Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches ...
A B S T R A C T This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. ...
The authors are grateful to the anonymous reviewers for constructive comments. ...
doi:10.1016/j.arcontrol.2009.12.003
fatcat:tqz3ftovubcclcsuu5bypjlelm
« Previous
Showing results 1 — 15 out of 19,120 results