Research and Grants

Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research

Abstract:


Title: CRD: Collab Rsch: JML Community Infr-Revitalizing Tools and Documentation to Aid Formal Methods Rsch


Project Proposed:


This collaborative project, revitalizing tools and documentations to aid formal methods research, aims to


  • Enhance JML's infrastructure including its type checker, runtime assertion checking compiler, and IDE support;
  • Make JML's software infrastructure more extensible; 
Category: 

A Model Checking based Framework for Analyzing Information-Propagation over Networks

In the age of globalization and informatization, the study of information propagation in the network of connected entities plays an important role in understanding and analyzing security and safety concerns. Entities in the network can be people, groups or computing devices, while the network is the relationship describing how one entity can influence or can be influenced by others. In epidemiology, the network of entities may correspond to the population groups and their spatial/proximity relationships. Read more about A Model Checking based Framework for Analyzing Information-Propagation over Networks

Category: 

PYI: The Internal Quantitative Structure of Complexity Classes

Abstract:


New extensions of Lebesgue measure theory are used to investigate the internal, quantitative structure of complexity classes. The relationships among intrinsically pseudorandom objects, pseudorandom number generators, probabilistic and interactive complexity classes, and completeness phenomena are studied. Another focus is the measure structure of exponential time complexity classes.


 

Read more about PYI: The Internal Quantitative Structure of Complexity Classes

Category: 

Pages