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

msakai model-checking [29 articles]

最近 msakai さんのライブラリに追加された論文の中から タグ model-checking. You can also see everyone's model-checking.
  • notes Extended full computation-tree logics for paraconsistent model checking
    Logic and Logical Philosophy, Vol. 15, No. 3. (2006), pp. 251-276.
    by Norihiro Kamide
    edited by Marek Nasieniewski, Andrzej Pietruszczak
    posted to ppl2008 model-checking by msakai on 2008-10-07 17:13:02 as **
  • Discrete-Time Rewards Model-Checked
    Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104.
    by Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
    posted to model-checking by msakai on 2008-08-27 08:45:46 as ** along with 2 people shimomura suer
  • A Markov Chain Model Checker
    (2000), pp. 347-362.
    by Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    posted to model-checking by msakai on 2008-08-27 08:44:56 as ** along with 1 person suer
  • Compositional Reasoning in Model Checking
    Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102.
    by Sergey Berezin, Sérgio Campos, Edmund M Clarke
    posted to model-checking by msakai on 2008-07-17 09:48:21 as ** along with 1 person yoriyuki
  • Model Checking Timed Automata with Priorities Using DBM Subtraction
    Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142.
    by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson
    posted to model-checking by msakai on 2008-07-15 03:04:02 as ** along with 1 person keigoi
  • Timed Automata: Semantics, Algorithms and Tools
    Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
    by Johan Bengtsson, Wang Yi
    posted to model-checking by msakai on 2008-07-15 03:03:57 as ** along with 2 people yoriyuki keigoi
  • Automatic predicate abstraction of C programs
    (2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to model-checking by msakai on 2008-06-16 10:31:35 as ** along with 2 people bfraser keigoi
  • Bounded Model Checking Using Satisfiability Solving
    Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
    by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
    posted to model-checking by msakai on 2008-06-11 10:19:57 as ** along with 2 people voronov shimomura
  • モデル検査法のソフトウェアデザイン検証への応用(Applying Model-Checking Techniques to Verification of Software Design)
    コンピュータソフトウェア, Vol. 23, No. 2. (2006), pp. 72-86.
    by Shin Nakajima
    posted to model-checking by msakai on 2008-05-28 14:01:48 as read
  • The software model checker Blast
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 505-525.
    by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to model-checking by msakai on 2008-05-28 12:24:17 as ** along with 2 people shimomura zuleger
  • Lazy abstraction
    Vol. 37, No. 1. (January 2002), pp. 58-70.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre
    posted to model-checking by msakai on 2008-05-28 12:24:03 as *** along with 4 people and 1 group shimomura bec pganty zuleger groupverif
  • The S<scp>LAM</scp> project: debugging system software via static analysis
    (2002), pp. 1-3.
    by Thomas Ball, Sriram K Rajamani
    posted to model-checking by msakai on 2008-05-28 12:23:46 as ** along with 1 person shimomura
  • Model checking one million lines of C code
    (2004)
    by H Chen, D Dean, D Wagner
    posted to model-checking by msakai on 2008-05-28 12:23:30 as ** along with 1 person shimomura
  • Checking Memory Safety with Blast
    Fundamental Approaches to Software Engineering (2005), pp. 2-18.
    by Dirk Beyer, Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to model-checking by msakai on 2008-05-28 12:23:13 as ** along with 2 people shimomura yoriyuki
  • Software Verification with BLAST
    Model Checking Software (2003), pp. 624-624.
    by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    posted to model-checking by msakai on 2008-05-28 12:22:53 as ** along with 1 person shimomura
  • Automatic predicate abstraction of C programs
    SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to model-checking by msakai on 2008-05-28 12:21:38 as *** along with 3 people emerson yuichi0619 shimomura
  • Verifying Haskell programs by combining testing, model checking and interactive theorem proving
    Information and Software Technology, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to haskell model-checking theorem-proving by msakai on 2008-05-28 12:20:45 as **** along with 1 person shimomura
  • Model-Checking Behavioral Specification of BPEL Applications
    Electronic Notes in Theoretical Computer Science, Vol. 151, No. 2. (31 May 2006), pp. 89-105.
    by Shin Nakajima
    posted to model-checking by msakai on 2008-04-29 12:01:50 as ** along with 1 person keigoi
  • notes 記号モデル検査の並行ソフトウェアシステムへの応用について
    (2004)
    by Tatsuhiro Tsuchiya
    posted to model-checking by msakai on 2008-04-06 16:54:13 as read
  • Modal μ-calculus on min-plus algebra N∞
    (March 2008)
    by Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya
    posted to modal-logic model-checking ppl2008 by msakai on 2008-03-08 03:08:01 as **
  • 図示記法表現とLTL論理式
    (March 2008)
    by Satoru Yoshida, Takeuti Izumi, Satoshi Koike, Hitoshi Ohsaki
    posted to model-checking ppl2008 by msakai on 2008-03-08 03:06:48 as **
  • Software model checking in practice: an industrial case study
    (2002), pp. 431-441.
    by Satish Chandra, Patrice Godefroid, Christopher Palm
    posted to model-checking by msakai on 2008-02-27 02:40:55 as ** along with 3 people keigoi bfraser zuleger
  • Model checking for security protocols
    (1997)
    by W Marrero, E Clarke, S Jha
    posted to model-checking security by msakai on 2007-12-16 15:12:38 as **
  • An interpolating theorem prover
    Theor. Comput. Sci., Vol. 345, No. 1. (November 2005), pp. 101-121.
    by KL Mcmillan
    posted to model-checking prover by msakai on 2007-11-11 10:38:04 as read
  • Coping With Strong Fairness -- On-the-fly Emptiness Checking for Streett Automata
    (September 1999), pp. 107-118.
    by Timo Latvala, Keijo Heljanko
    edited by HD Burkhard, L Czaja, HS Nguyen, P Starke
    posted to model-checking by msakai on 2007-09-13 00:24:09 as **
  • CTL* model checking for SPIN
    (1999)
    by W Visser, H Barringer
    posted to model-checking by msakai on 2007-09-12 16:55:24 as **
  • notes Fast LTL to Büchi Automata Translation
    by Paul Gastin, Denis Oddoux
    posted to model-checking by msakai on 2007-09-03 06:37:09 as **
  • MONA 1.x: New Techniques for WS1S and WS2S
    by Jacob Elgaard, Nils Klarlund, Anders Møller
    posted to model-checking by msakai on 2007-09-02 04:54:17 as **
  • Data flow analysis is model checking of abstract interpretations
    (1998), pp. 38-48.
    by David A Schmidt
    posted to model-checking by msakai on 2006-05-23 09:52:00 as ** along with 6 people eaubin wasi Mikejones bunge keigoi zuleger
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/msakai/tag/model-checking

    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.