Search results for "Source code verification"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	June Andronick, Boutheina Chetali, Christine Paulin-Mohring	Formal Verification of Security Properties of Smart Card Embedded Source Code.	FM	2005	DBLP DOI BibTeX RDF	Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
2	Michael Hohmuth, Hendrik Tews, Shane G. Stephens	Applying source-code verification to a microkernel: the VFiasco project.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
1	Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf	Abstract Testing: Connecting Source Code Verification with Requirements.	QUATIC	2010	DBLP DOI BibTeX RDF
1	Slavisa Markovic, Thomas Baar	Refactoring OCL annotated UML class diagrams.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Imperative OCL, Syntax preserving refactoring rules, Source code verification, Refactoring, Graph-transformations, QVT
1	Gilles Barthe, César Kunz	An Introduction to Certificate Translation.	FOSAD	2008	DBLP DOI BibTeX RDF
1	Frédéric Michaud, Frédéric Painchaud	Source Code Verification Tools for Software Security Bugs.	SoMeT	2006	DBLP BibTeX RDF
1	Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk	Certificate Translation for Optimizing Compilers.	SAS	2006	DBLP DOI BibTeX RDF
1	Thierry Hubert, Claude Marché	A case study of C source code verification: the Schorr-Waite algorithm.	SEFM	2005	DBLP DOI BibTeX RDF
1	Wolfgang Ahrendt, Andreas Roth, Ralf Sasse	Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.	LPAR	2005	DBLP DOI BibTeX RDF
1	Bart Jacobs, Martijn Oostdijk, Martijn Warnier	Source code verification of a secure payment applet.	J. Log. Algebr. Program.	2004	DBLP DOI BibTeX RDF
1	Bart Jacobs, Claude Marché, Nicole Rauch	Formal Verification of a Commercial Smart Card Applet with Multiple Tools.	AMAST	2004	DBLP DOI BibTeX RDF
1	Reiner Hähnle, Wojciech Mostowski	Verification of Safety Properties in the Presence of Transactions.	CASSIS	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )