6 search results - page 1 / 2 » Automated Formal Methods Enter the Mainstream |
JUCS
2007
13 years 10 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
CHARME
2001
Springer
14 years 3 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
SAS
2004
Springer
14 years 4 months ago
2004
Springer
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...