Title :
ABD 2: Languages & Tools for probabilistic & Temporal specifications
Author :
Borrione, Dominique
Author_Institution :
TIMA Laboratory, Grenoble University, France
Abstract :
The first paper defines a variation of bounded LTL, and its trace semantics, for the specification of reliability requirements for embedded systems; action traces are processed to compute the reliability satisfaction for a given action schedule. The second (invited) paper is an introduction to the MODEST specification language and its toolset.
Conference_Titel :
Specification and Design Languages (FDL), 2012 Forum on
Conference_Location :
Vienna, Austria
Print_ISBN :
978-1-4673-1240-0
