K. L. McMillan

Available identifiers

zbMath Open mcmillan.kenneth-lMaRDI QIDQ934708

List of research outcomes

Publication	Date of Publication	Type
Synthesizing history and prophecy variables for symbolic model checking	2023-08-17	Paper
Deductive verification in decidable fragments with Ivy	2023-05-26	Paper
Eager abstraction for symbolic model checking	2023-05-26	Paper
Temporal prophecy for proving temporal properties of infinite-state systems	2021-12-08	Paper
$$P^5$$ : Planner-less Proofs of Probabilistic Parameterized Protocols	2020-07-07	Paper
Interpolation and Model Checking	2018-07-20	Paper
Abstractions from proofs	2015-11-11	Paper
Horn Clause Solvers for Program Verification	2015-09-22	Paper
Relevance heuristics for program analysis	2014-09-12	Paper
Synthesis of Circular Compositional Program Proofs via Abduction	2013-08-05	Paper
Computer Aided Verification	2010-04-20	Paper
Abstract Counterexamples for Non-disjunctive Abstractions	2009-11-19	Paper
Generalizing DPLL to Richer Logics	2009-06-30	Paper
Liveness by Invisible Invariants	2009-03-11	Paper
Automated assumption generation for compositional verification	2008-07-30	Paper
Quantified Invariant Generation Using an Interpolating Saturation Prover	2008-04-11	Paper
Interpolants and Symbolic Model Checking	2008-04-04	Paper
Interpolant-Based Transition Relation Approximation	2008-04-01	Paper
Array Abstractions from Proofs	2007-11-29	Paper
Automated Assumption Generation for Compositional Verification	2007-11-29	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Lazy Abstraction with Interpolants	2007-09-05	Paper
Combining Abstraction Refinement and SAT-Based Model Checking	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Computer Aided Verification	2006-01-10	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
An interpolating theorem prover	2005-12-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Science Logic	2005-08-22	Paper
Deciding global partial-order properties	2005-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4817538	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4813406	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4417909	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417912	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4804900	2003-05-01	Paper
Model-checking of correctness conditions for concurrent objects	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4787228	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4551174	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2754093	2001-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4503923	2001-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4503918	2000-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4503924	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4503925	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4494394	2000-08-10	Paper
A methodology for hardware verification using compositional model checking	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4503920	2000-01-01	Paper
A structural induction theorem for processes	1995-05-28	Paper
A technique of state space search based on unfolding	1995-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q3141897	1993-11-01	Paper
Symbolic model checking: \(10^{20}\) states and beyond	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3204034	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: K. L. McMillan