Results 211 to 220 of about 115,357 (261)
Some of the next articles are maybe not open access.
Formal verification of Ada programs
IEEE Transactions on Software Engineering, 1990The Penelope verification editor and its formal basis are described. Penelope is a prototype system for the interactive development and verification of programs that are written in a rich subset of sequential Ada. Because it generates verification conditions incrementally, Penelope can be used to develop a program and its correctness proof in concert ...
David Guaspari +2 more
openaire +1 more source
Formal Verification Of FIRE: A Case Study
Proceedings of the 34th Design Automation Conference, 1997We present our experiences with the formal verification of an automotivechip used to control the safety features in a car. We useda BDD based model checker in our work. We describe our verificationmethodology for verifying a very complicated property on arelatively large design.
Jae-Young Jang +3 more
openaire +1 more source
Formal Verification for KMB09 Protocol
International Journal of Theoretical Physics, 2019zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2015
This chapter provides a brief introduction to the domain of formal methods (Boca, Bowen, & Siddiqi, 2009) and the most commonly used verification methods (i.e., theorem proving [Harrison, 2009] and model checking [Baier & Katoen, 2008]). Due to their inherent precision, formal verification methods are increasingly being used in modeling and ...
openaire +1 more source
This chapter provides a brief introduction to the domain of formal methods (Boca, Bowen, & Siddiqi, 2009) and the most commonly used verification methods (i.e., theorem proving [Harrison, 2009] and model checking [Baier & Katoen, 2008]). Due to their inherent precision, formal verification methods are increasingly being used in modeling and ...
openaire +1 more source
Polynomial Formal Verification
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022Rolf Drechsler, Alireza Mahzoon
openaire +1 more source
Formale Verifikationsverfahren (Formal Verification)
it - Information Technology, 2001openaire +1 more source
Verification Games: Crowd-Sourced Formal Verification
2016Abstract : Over the more than three years of the project Verification Games: Crowd-sourced Formal Verification the verification tools developed by the Programming Languages and Software Engineering group were improved. A series of games were developed by the Center for Game Science: Pipe Jam, Traffic Jam, Flow Jam and Paradox.
openaire +1 more source