新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mccrimson no-tag [18 articles]

最近 mccrimson さんのライブラリに追加された論文の中から タグ no-tag. You can also see everyone's no-tag.
  • Completeness and complexity of bounded model checking
    (2004)
    by E Clarke, D Kroening, J El, O Ofer
    posted to no-tag by mccrimson on 2008-07-14 09:32:43 as **
  • An Analysis of SAT-based Model Checking
    by Techniques I An
    posted to no-tag by mccrimson on 2007-11-16 07:46:34 as **
  • Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers
    Vol. 3925 (2006), pp. 146-162.
    by Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
    edited by Antti Valmari, Antti Valmari
    posted to no-tag by mccrimson on 2007-11-16 07:41:45 as *****
  • Bounded Model Checking with QBF
    Theory and Applications of Satisfiability Testing (2005), pp. 408-414.
    by Nachum Dershowitz, Ziyad Hanna, Jacob Katz
    posted to no-tag by mccrimson on 2007-11-16 07:37:52 as **
  • Interpolation and SAT-Based Model Checking
    : Computer Aided Verification (2003), pp. 1-13.
    by KL Mcmillan
    posted to no-tag by mccrimson on 2007-11-16 07:29:58 as ***** along with 1 person and 1 group pganty groupverif
  • Checking Safety Properties Using Induction and a SAT-Solver
    Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000, Austin, TX, USA, November 2000. Proceedings (2000), 108.
    by Mary Sheeran, Satnam Singh, Gunnar Stålmarck
    posted to no-tag by mccrimson on 2007-11-16 07:13:24 as *****
  • A Tutorial on St\aalmarck's Proof Procedure for Propositional Logic
    Vol. 1522 (1998), pp. 82-99.
    by Mary Sheeran, Gunnar St\aalmarck
    edited by G Gopalakrishnan, P Windley
    posted to no-tag by mccrimson on 2007-11-16 07:08:55 as *****
  • Simple bounded LTL model checking
    (2004)
    by T Latvala, A Biere, K Heljanko, T Junttila
    posted to no-tag by mccrimson on 2007-10-19 09:46:39 as **
  • Evaluation of SAT-based Bounded Model Checking of ACTL Properties
    Theoretical Aspects of Software Engineering, 2007. TASE '07
    by Xu Yanyan, Chen Wei, Xu Liang, Zhang Wenhui
    posted to no-tag by mccrimson on 2007-10-19 09:31:01 as **
  • RSat 2.0: SAT Solver Description
    (2007)
    by Knot
    posted to no-tag by mccrimson on 2007-10-19 09:13:11 as **
  • An Extensible SAT-solver
    Theory and Applications of Satisfiability Testing (2004), pp. 502-518.
    by Niklas Eén, Niklas Sörensson
    posted to no-tag by mccrimson on 2007-10-19 09:07:49 as ** along with 4 people bfraser tuncay voronov krauss
  • Chaff: Engineering an Efficient SAT Solver
    (2001)
    by Matthew W Moskewicz, Conor F Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
    posted to no-tag by mccrimson on 2007-10-19 08:49:34 as ** along with 1 person luisgil
  • SATO: an efficient propositional prover
    (1997), pp. 272-275.
    by Hantao Zhang
    posted to no-tag by mccrimson on 2007-10-19 08:46:35 as **
  • Verification of the Futurebus+ Cache Coherence Protocol
    (1993), pp. 5-20.
    by EM Clarke, O Grumberg, H Hiraishi, S Jha, DE Long, KL Mcmillan, LA Ness
    edited by D Agnew, L Claesen, R Camposano
    posted to no-tag by mccrimson on 2007-10-19 08:11:02 as **
  • Symbolic Model Checking: $10^20$ States and Beyond
    (1990), pp. 1-33.
    by J Burch, E Clarke, K Mcmillan, D Dill, L Hwang
    posted to no-tag by mccrimson on 2007-10-19 08:00:58 as ** along with 4 people mercutio Benet johannsen zuleger
  • Automatic verification of finite-state concurrent systems using temporal logic specifications
    ACM Trans. Program. Lang. Syst., Vol. 8, No. 2. (April 1986), pp. 244-263.
    by EM Clarke, EA Emerson, AP Sistla
    posted to no-tag by mccrimson on 2007-10-19 07:35:47 as ** along with 2 people and 1 group hmeyer pintman gk-intern
  • Design and synthesis of synchronization skeletons using branching time temporal logic
    Logics of Programs (1982), pp. 52-71.
    by Edmund Clarke, E Emerson
    posted to no-tag by mccrimson on 2007-10-19 07:24:45 as ** along with 2 people hwang Maderlock
  • Bounded LTL Model Checking with Stable Models
    Vol. 2173 (September 2001), pp. 200-212.
    by Keijo Heljanko, Ilkka Niemelä
    edited by Thomas Eiter, Wolfgang Faber, Mirosaw Truszczynski
    posted to no-tag by mccrimson on 2007-10-19 03:07:25 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/mccrimson/tag/no-tag

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.