K project was started in 2003 by Grigore Rosu, University of Illinois at Urbana Champaign (UIUC), for teaching puposes. Starting with 2010, K became a joint work between Formal Systems Laboratory (FSL) from UIUC and Formal Methods in Software Engineering (FMSE) groupfrom Al. I. University of Iasi (UAIC).
In the …read more