448 search results - page 29 / 90 » A Meta-Method for Formal Method Integration |
VLSID
2006
IEEE
16 years 3 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
108
Voted
ICECCS
2007
IEEE
15 years 6 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
127
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
159
Voted
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
135
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...