624 search results - page 3 / 125 » Application of Lightweight Formal Methods to Software Securi... |
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 8 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
TSE
2002
13 years 9 months ago
2002
