Latest

• A Specification Logic for Programs in the Probabilistic Guarded Command Language
• Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)
• Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
• Verifying traits: an incremental proof system for fine-grained reuse
• Advanced Lectures on Formal Methods for Executable Software Models
• A Transformational Proof System for Delta-Oriented Programming
• Verifying Traits: A Proof System for Fine-Grained Reuse
• Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language