Validating RT-LOTOS Specifications using the TINA tool


The increasing development of highly concurrent and distributed systems captures scalability problems in terms of formal validation of models. In particular, reachability analysis tools commonly face a state explosion problem. Examples include the RTL tool developed by LAAS-CNRS for the formal description technique RT-LOTOS. By contrast, the TINA tool also… (More)


Cite this paper

@inproceedings{Sadani2005ValidatingRS, title={Validating RT-LOTOS Specifications using the TINA tool}, author={Tarek Sadani and Pierre de Saqui-Sannes and Emile Blouin}, year={2005} }