Formal Methods in Software Engineering

Chucky Ellison

Institution: Formal Systems Laboratory, University at Illinois at Urbana Champaign, US
Email: celliso2@illinois.edu
Status: Collaborator

Publications

2013

The K Primer (version 3.2)

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

Conference

2012

Making Maude Definitions more Interactive

Andrei Arusoaie, Traian Serbanuta, Chucky Ellison, Grigore Rosu

Conference

Executing Formal Semantics with the K Tool

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

Conference