A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

  1. Albert, E.
  2. Bubel, R.
  3. Genaim, S.
  4. Hähnle, R.
  5. Puebla, G.
  6. Román-Díez, G.
Revista:
Software and Systems Modeling

ISSN: 1619-1374,  1619-1366

Año de publicación: 2016

Volumen: 15

Número: 4

Páginas: 987-1012

Tipo: Artículo

DOI: 10.1007/S10270-015-0476-Y GOOGLE SCHOLAR
Fuente de los datos: Scopus