Integrating formal approaches to specification test case generation and automatic design verification

Project Information

FAST

Grant agreement ID: 25581

Project closed

Start date 1 December 1997

End date 31 August 2000

Funded under

• Specific research and technological development programme in the field of information technologies, 1994-1998

Total cost € 2 340 000,00

EU contribution € 1 170 000,00

Coordinated by

Prover Technology Ab
Sweden

Programme(s)

• FP4-ESPRIT 4 - Specific research and technological development programme in the field of information technologies, 1994-1998

Topic(s)

• 1.1 - Software Intensive Systems Engineering

Call for proposal

Data not available

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

Prover Technology Ab

• EU contribution: No data
• Address: Swedensborggatan 2 ; 11848 Stockholm ; Sweden
• Total cost: No data

Participants (5)

Ab Volvo

Sweden

• EU contribution: No data
• Address: 405 08 Goeteborg
• Total cost: No data

Ansaldo Segnalamento Ferroviario Spa

Italy

• EU contribution: No data
• Address: Zona Industriale Tito Scalo ; 85050 Tito, Potenza
• Total cost: No data

Centro Informazioni Studi Ed Esperienze Cise Spa

Italy

• EU contribution: No data
• Address: Via Carducci 14 ; 20100 Milano
• Total cost: No data

Enel- Ente Nationale Energia Elettrica S.P.A.

Italy

• EU contribution: No data
• Address: Via G.B. Martini 3 ; 00198 Roma
• Total cost: No data

Sextant Avionique

France

• EU contribution: No data
• Address: Aerodrome De Villacoublay ; 78141 Velizy-Villacoublay
• Total cost: No data