Author:
Kupferman Orna,Sadigh Dorsa,Seshia Sanjit A.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. LNCS;M. Abadi,1989
2. Aminof, B., Kupferman, O., Lampert, R.: Reasoning about Online Algorithms with Weighted Automata. In: Proc. 20th SODA, pp. 835–844 (2009)
3. Breslauer, D.: On competitive on-line paging with lookahead. TCS 209(1–2), 365–375 (1998)
4. Dill, D.L.: Trace theory for automatic hierarchical verification of speed independent circuits. MIT Press (1989)
5. Dworkin, L., Li, W., Seshia, S.A.: Automatic synthesis of a voting machine design (2010) (Unpublished Manuscript)