Skip to Main content Skip to Navigation
Conference papers

Using context descriptions and property definition patterns for software formal verification

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00517276
Contributor : Dtn Ensieta <>
Submitted on : Tuesday, September 14, 2010 - 9:17:29 AM
Last modification on : Friday, December 13, 2019 - 10:42:05 AM

Identifiers

  • HAL Id : hal-00517276, version 1

Citation

Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. Using context descriptions and property definition patterns for software formal verification. ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France. ⟨hal-00517276⟩

Share

Metrics

Record views

139