Travelled to:1 × United Kingdom
Collaborated with:G.Fedyukovich A.E.J.Hyvärinen N.Sharygina
Talks about:symbol (1) detect (1) depend (1) assert (1) model (1) check (1) bound (1)
Person: Andrea Callia D'Iddio
DBLP: D'Iddio:Andrea_Callia
Contributed to:
2015Wrote 1 papers:
- FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking
- Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.