Search results for "verified software repository"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
2	Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald	Formal methods: Practice and experience.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	formal methods surveys, verified software initiative, grand challenges, Experimental software engineering, verified software repository
2	Leo Freitas, Konstantinos Mokos, Jim Woodcock	Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.	ICECCS	2007	DBLP DOI BibTeX RDF
2	Leo Freitas, Zheng Fu, Jim Woodcock	POSIX file store in Z/Eves: an experiment in the verified software repository.	ICECCS	2007	DBLP DOI BibTeX RDF
2	Leo Freitas, Jim Woodcock	Proving Theorems About JML Classes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
2	Jim Woodcock, Leo Freitas	Z/Eves and the Mondex Electronic Purse.	ICTAC	2006	DBLP DOI BibTeX RDF	electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
1	Leo Freitas, Jim Woodcock, Yichi Zhang	Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Leo Freitas, Jim Woodcock, Zheng Fu	POSIX file store in Z/Eves: An experiment in the verified software repository.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Leo Freitas, Jim Woodcock	Mechanising Mondex with Z/Eves.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
1	Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
1	Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat	The FMICS-jETI Platform: Status and Perspectives.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Leo Freitas, Ana Cavalcanti, Jim Woodcock	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.	ICFEM	2006	DBLP DOI BibTeX RDF