Gacek, Andrew

1. The JKind Model Checker
   2017/12/04 by Gacek, Andrew, Backes, John, Whalen, Mike +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Nominal Abstraction
   2009/08/10 by Andrew Gacek, Dale Miller, Gacek, Andrew +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. A Framework for Specifying, Prototyping, and Reasoning about Computational Systems
   2009/10/05 by Gacek, Andrew · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
4. A two-level logic approach to reasoning about computations
   2009/11/16 by Andrew Gacek, Gacek, Andrew, Dale Miller +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies
5. Reasoning about Algebraic Data Types with Abstractions
   2016/03/29 by Pham, Tuan-Hung, Gacek, Andrew, Whalen, Michael W. · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
6. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
   2017/09/14 by Andreas Katis, Katis, Andreas, Grigory Fedyukovich +11 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Software Engineering (cs.SE) #Software Engineering Research