|
News |
Verimag - Université Joseph Fourier
VERIMAG, headed by Dr. J. Sifakis, is an academic laboratory focusing on the theoretical and practical aspects of formal methods for software engineering. VERIMAG has a proven record in both basic theoretical research and in development of tools such as the model-checking toolbox CADP, the test case generator TGV, the data-flow synchronous language Lustre, the Kronos tool for verification of timed automata and the InVeSt tool for the verification of infinite state systems. VERIMAG has an ongoing interaction with industry including Verilog, CNET, Schneider, and Aerospatiale and with academic partners such as Weizmann, Berkeley, SRI, Uppsala, and Kiel.
During this project, Verimag will work in close collaboration with IRISA/Pampa, which develops the TGV tool.