Formal Methods in Software Engineering

Radu Mereuta

Email: radu.mereuta@info.uaic.ro
Web: /vlad.craciun/~radu.mereuta
Status: Former

Profesional activities:

Developer for the K-framework.

Publications

2014

All-Path Reachability Logic

Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Serbanuta, Grigore Rosu

Conference

2012

Executing Formal Semantics with the K Tool

Unknown, Andrei Arusoaie, Traian Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu

Conference

2011

Parsing K definitions

Radu Mereuta, Gheorghe Grigoras

Unpublished

Projects

Executable Semantic Framework (K Framework) (K)

Grants

An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems (DAK) (DAK)