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

Any de publicació: 2016

Volum: 15

Número: 4

Pàgines: 987-1012

Tipus: Article

DOI: 10.1007/S10270-015-0476-Y GOOGLE SCHOLAR
Font de les dades: Scopus