Skip to Main content Skip to Navigation
Conference papers

Modeling Automated Highway Systems with VeriJ

Yan Zhang 1, *
* Corresponding author
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : This paper presents VeriJ, a domain specific language (DSL) which consists of a subset of the Java language, with the aim to help engineers to easily build the state space encoding of a complex system. This language will allow to apply existing verification and control techniques based on a hierarchical variant of Decision Diagrams. The example of an automated highway system is used to present the basic constructs of the language.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download
Contributor : Yan Zhang <>
Submitted on : Friday, September 23, 2011 - 5:54:31 PM
Last modification on : Thursday, March 21, 2019 - 12:59:33 PM
Document(s) archivé(s) le : Saturday, December 24, 2011 - 2:25:58 AM


Files produced by the author(s)


  • HAL Id : hal-00626197, version 1


Yan Zhang. Modeling Automated Highway Systems with VeriJ. MOdelling and VErifying parallel Processes (MOVEP), Jun 2010, Aachen, Germany. pp.138-143. ⟨hal-00626197⟩



Record views


Files downloads