Kenneth McMillan

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Knowledge Based Systems

Replicated Data

Affine Transformation

Top Venues

Dagstuhl Reports

Publications

Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth McMillan
Invariant Checking for SMT-based Systems with Quantifiers. CoRR (2024)
Swen Jacobs, Kenneth McMillan, Roopsha Samanta, Ilya Sergey
Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112). Dagstuhl Reports 13 (3) (2023)