10.1007/s10009-014-0306-5International Journal on Software Tools for Technology Transfe
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
Deductive program verification is an intricate and time-consuming task, in spite of significant adva...
The importance of verification for software products is being increasingly appreciated in industry, ...
10.1016/j.entcs.2006.10.041Electronic Notes in Theoretical Computer Science1747129-14
10.1145/1734229.1734232ACM Transactions on Software Engineering and Methodology194ATSM
Developing a verifying compiler---a compiler that proves that components are correct with respect to...
Behavioral interface specification languages provide formal code-level annotations, such as precondi...
published_or_final_versionComputer Science and Information SystemsDoctoralDoctor of Philosoph
Behavioral interface specification languages provide formal code-level annotations, such as precondi...
Program verification and testing techniques are crucial in fruitfully analyzing and validating compl...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. The Verified Software Repository is dedicated to a long-term vision of a future in which a...
Program verification assumes a formal program specification. In software-intensive systems, such spe...
Formal verification is a popular approach for program quality and correctness especially as an alter...
10.1007/978-3-642-21437-0_29Lecture Notes in Computer Science (including subseries Lecture Notes in ...
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
Deductive program verification is an intricate and time-consuming task, in spite of significant adva...
The importance of verification for software products is being increasingly appreciated in industry, ...
10.1016/j.entcs.2006.10.041Electronic Notes in Theoretical Computer Science1747129-14
10.1145/1734229.1734232ACM Transactions on Software Engineering and Methodology194ATSM
Developing a verifying compiler---a compiler that proves that components are correct with respect to...
Behavioral interface specification languages provide formal code-level annotations, such as precondi...
published_or_final_versionComputer Science and Information SystemsDoctoralDoctor of Philosoph
Behavioral interface specification languages provide formal code-level annotations, such as precondi...
Program verification and testing techniques are crucial in fruitfully analyzing and validating compl...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. The Verified Software Repository is dedicated to a long-term vision of a future in which a...
Program verification assumes a formal program specification. In software-intensive systems, such spe...
Formal verification is a popular approach for program quality and correctness especially as an alter...
10.1007/978-3-642-21437-0_29Lecture Notes in Computer Science (including subseries Lecture Notes in ...
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
Deductive program verification is an intricate and time-consuming task, in spite of significant adva...
The importance of verification for software products is being increasingly appreciated in industry, ...
DOI
Add to ORKG