FMSE
Formal
Methods in
Software Engineering
Grants DAK Anonymous  Login

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


 

Programul Operational Sectorial "Cresterea Competitivitatii Economice"
AXA Prioritara 2, Operatiunea 2.1.2

"Investitii pentru viitorul dumneavoastra"

Contract 161/15.06.2010, SMIS-CSNR 602-12516


Proiect Un Cadru de Lucru bazat pe Semantica Executabila pentru Proiectarea Riguroasa, Analiza si Testarea Sistemelor, acronim DAK


Proiect cofinantat prin Fondul European de Dezvoltare Regionala

Pentru informatii detaliate despre celelalte programe operationale cofinantate de
Uniunea Europeană va invitam sa vizitati www.fonduri-ue.ro

Continutul acestui material nu reprezinta în mod obligatoriu pozitia oficială a Uniunii Europene sau a Guvernului Romaniei


Coordinators:Grigore Rosu  Dorel Lucanu  
Members:Dorel Lucanu  Irina Asavoae  Mihail Asavoae  Gheorghe Grigoras  Grigore Rosu  Andrei Arusoaie  Radu Mereuta  Traian Serbanuta  Raluca Necula  Emilian Necula  Stefan Ciobaca  Denis Bogdanas  


NEWS
New publication : Model checking recursive programs interacting via ... - 01 feb 2015

Almost all modern imperative programming languages include operations for dynamically manipulating the heap, for example by allocating and deallocating objects, and by updating reference fields. In the presence of recursive ... (more)


New publication : K-Java: A Complete Semantics of Java - 10 sep 2014

This paper presents K-Java, a complete executable formal semantics of Java 1.4.
K-Java was extensively tested with a test suite developed alongside the project, following the Test Driven Development methodology.
more)


New publication : K-Java: A Complete Semantics of Java - 09 jul 2014

This paper presents K-Java, a complete executable formal semantics of Java 1.4.
K-Java was extensively tested with a test suite developed alongside the project, following the Test Driven Development methodology.
more)


New publication : Engineering Hoare Logic-based Program Verification in ... - 30 oct 2013

We propose a language-independent symbolic execution framework for languages endowed with a formal operational semantics based on term rewriting. Starting from a given definition of a language, a new language ... (more)


New talk: PAS 2013 - 20 oct 2013

Dorel lucanu will give a talk at PAS 2013.

(more)

     Archive

@FMSE 2010-2011