Formal Proof of a Wave Equation Resolution Scheme: the Method Error

Formal Proof of SCHUR Conjugate Function

Formal study of plane Delaunay triangulation

Formal Theories for Linear Algebra

Formal Theories for Logspace Counting

Formal verification of a deadlock detection algorithm

Formal verification of a time-triggered hardware interface

Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback

Formal Verification of Full-Wave Rectifier: A Case Study

Formal Verification of Self-Assembling Systems

Formalising Sylow's theorems in Coq

Formalising the pi-calculus using nominal logic

Formalization of Abstract State Transition Systems for SAT

Formalizing cCSP Synchronous Semantics in PVS

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model

Formalizing Randomized Matching Algorithms

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

Formulas as Programs

Forward Analysis and Model Checking for Trace Bounded WSTS

Forward analysis for WSTS, Part I: Completions