Travelled to:1 × Austria
1 × New Zealand
1 × USA
Collaborated with:A.Cimatti M.Roveri A.Griggio R.Cavada A.Mariotti S.Mover S.Tonetta I.Narasamdya M.Dorigatti C.Mattarei M.Pensallorto A.Susi
Talks about:checker (2) model (2) support (1) softwar (1) system (1) symbol (1) requir (1) valid (1) nuxmv (1) krato (1)
Person: Andrea Micheli
DBLP: Micheli:Andrea
Contributed to:
20142011
2009Wrote 3 papers:
- CAV-2014-CavadaCDGMMMRT #model checking
- The nuXmv Symbolic Model Checker (RC, AC, MD, AG, AM, AM, SM, MR, ST), pp. 334–342.
- CAV-2011-CimattiGMNR #model checking #named
- Kratos — A Software Model Checker for SystemC (AC, AG, AM, IN, MR), pp. 310–316.
- ASE-2009-CavadaCMMMMPRST #requirements #validation
- Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.