Project Tags: Logical Frameworks

Formal Reasoning about Languages for Distributed Computation

Foundational research in programming language semantics has given us the ability to design languages for sequential programming with strong theoretical properties, which translate into run-time assurance for programs written in…

Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security

With NPRP project 09-1107-1-168 (ending in February 2014), we have outlined the foundations of a framework for representing Concurrent, Distributed and Parallel (CDP) languages and explored methodologies to formally prove…