Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ken L. McMillan
Observed names:
Ken McMillan,
Ken Mcmillan,
McMillan, Ken
Observed institutions:
AT&T (United States),
Microsoft (United States),
Cadence Design Systems (United States)
OpenAlex ID:
A5110255963
Applying SAT Methods in Unbounded Symbolic Model Checking
2002
·
Ken L. McMillan
·
Lecture notes in computer science
·
363
PDF
Horn Clause Solvers for Program Verification
2015
·
Nikolaj Bjørner
, Arie Gurfinkel
, et al.
·
Lecture notes in computer science
·
251
Inductive invariant generation via abductive inference
2013
·
Isil Dillig
, Thomas Dillig
, et al.
·
Conference on Object-Oriented Programming Systems, Languages, and Applications
·
153
On Solving Universally Quantified Horn Clauses
2013
·
Nikolaj Bjørner
, Ken McMillan
, et al.
·
Lecture notes in computer science
·
127
Model-Checking of Correctness Conditions for Concurrent Objects
2000
·
Rajeev Alur
, Ken McMillan
, et al.
·
Information and Computation
·
111
Inductive invariant generation via abductive inference
2013
·
Isil Dillig
, Thomas Dillig
, et al.
·
ACM SIGPLAN Notices
·
50
Using formal verification/analysis methods on the critical path in system design: A case study
1995
·
Ásgeir Th. Eiríksson
, Ken L. McMillan
·
Lecture notes in computer science
·
47
Program Verication as Satisability Modulo Theories
2012
·
Nikolaj Bjrner
, Ken McMillan
, et al.
·
38
A Hybrid of Counterexample-Based and Proof-Based Abstraction
2004
·
Nina Amla
, Ken L. McMillan
·
Lecture notes in computer science
·
36
Logic for Programming, Artificial Intelligence, and Reasoning
2013
·
Ken McMillan
, Aart Middeldorp
, et al.
·
Lecture notes in computer science
·
31
Synthesis of Circular Compositional Program Proofs via Abduction
2013
·
Boyang Li
, Isil Dillig
, et al.
·
Lecture notes in computer science
·
23
Deciding global partial-order properties
1998
·
Rajeev Alur
, Ken McMillan
, et al.
·
Lecture notes in computer science
·
18
Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types
2013
·
Bjorner, Nikolaj
, McMillan, Ken
, et al.
·
arXiv (Cornell University)
·
17
PDF
Formal Property Verification
2016
·
Limor Fix
, Ken McMillan
, et al.
·
CRC Press eBooks
·
11
Craig Interpolation and Reachability Analysis
2003
·
Ken L. McMillan
·
Lecture notes in computer science
·
9
Deciding Global Partial-Order Properties
2005
·
Rajeev Alur
, Ken McMillan
, et al.
·
Formal Methods in System Design
·
8
Synthesis of circular compositional program proofs via abduction
2015
·
Isil Dillig
, Thomas Dillig
, et al.
·
International Journal on Software Tools for Technology Transfer
·
6
Complex system verification (panel)
1994
·
Ron Collett
, Ken McMillan
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
3
PDF
What’s in Common between Test, Model Checking, and Decision Procedures?
2009
·
Ken L. McMillan
·
Lecture notes in computer science
·
1
Formal Property Verification
2006
·
Ken McMillan
, Limor Fix
·
CRC Press eBooks
·
1
Formal Property Verification
2016
·
Limor Fix
, Ken McMillan
, et al.
·
CRC Press eBooks
Proofs, Interpolants, and Relevance Heuristics
2009
·
Ken McMillan
·
Lecture notes in computer science
Applying SAT methods in unbounded symbolic model checking
2002
·
Ken McMillan
Show more works
View as search
Works count:
28
Citation count:
1,304
H-index:
13
I10-index:
14
Year
Topic
Type
