Klee (07/2018-now)

Last updated on Oct 18, 2020
Go to Project Site
Klee logo
FCT Klee
José Proença
José Proença
Senior Researcher

José Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.

Related

Posts

Formal Software on ArcaTools

Set of online formal analysis tools (http://arcatools.org) developed together with Arca members, within the DaVinci and KLEE projects.
Last updated on Oct 29, 2020 1 min read
Formal Software on ArcaTools

Publications

Implementing Hybrid Semantics: From Functional to Imperative

ICTAC 2020
PDF Code Project Project Project Project Slides DOI Extended

Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)

CoRR 2020
PDF Code Project Project Project Project ArXiv