Having fun with Programming

Tuesday, December 27, 2016

Model checking safety properties

Regular model checking

Regular Model Checking Made Simple and Efficient

Regular Model Checking Without Transducers

Model Checking of Safety Properties

Finite presentations of infinite structures: Paper / Slide
Posted by ericpony at Tuesday, December 27, 2016 No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

Search This Blog

Search Links

Labels

  • Admin (18)
  • JavaScript (13)
  • Scala (12)
  • Languages (8)
  • Formal (6)
  • Haskell (6)
  • Game (5)
  • Java (4)
  • Algorithm (3)
  • Git (3)
  • Akka (2)
  • Trick (2)
  • MapReduce (1)
  • NodeJS (1)
  • Spark (1)

Blog Archive

  • ►  2019 (2)
    • ►  January (2)
  • ►  2018 (1)
    • ►  December (1)
  • ►  2017 (9)
    • ►  August (1)
    • ►  June (2)
    • ►  May (1)
    • ►  March (1)
    • ►  February (3)
    • ►  January (1)
  • ▼  2016 (15)
    • ▼  December (1)
      • Model checking safety properties
    • ►  November (3)
    • ►  October (1)
    • ►  May (2)
    • ►  April (2)
    • ►  March (3)
    • ►  February (1)
    • ►  January (2)
  • ►  2015 (27)
    • ►  December (4)
    • ►  November (2)
    • ►  October (2)
    • ►  August (1)
    • ►  July (1)
    • ►  June (1)
    • ►  May (1)
    • ►  April (2)
    • ►  March (3)
    • ►  February (4)
    • ►  January (6)
  • ►  2014 (35)
    • ►  December (4)
    • ►  November (3)
    • ►  October (2)
    • ►  September (1)
    • ►  August (4)
    • ►  July (6)
    • ►  June (4)
    • ►  May (3)
    • ►  April (1)
    • ►  March (3)
    • ►  February (1)
    • ►  January (3)
  • ►  2013 (20)
    • ►  December (3)
    • ►  November (3)
    • ►  October (7)
    • ►  September (3)
    • ►  August (1)
    • ►  June (1)
    • ►  April (1)
    • ►  February (1)

Links

  • Scala Puzzlers

Blog roll

  • Atomic Spin
    Map the Path To Your Long Term Goals - Trying to achieve your long-term goals can be daunting. It can be easy to have a goal you want to achieve, but getting there can be the hard part. As any...
    18 hours ago
  • alvinalexander.com
    Sometimes you need to talk about things (even when you think you don’t need to) - I haven't interviewed for a job in many years, and yesterday I had my first interview in 14 years. I thought I could just pick up where I left off many yea...
    4 days ago
  • Eli Bendersky's website
    Notes on even and odd functions - A function that satisfies f(-x)=f(x) for its entire domain is called an *even* function (also sometimes referred to as *symmetric*). Its graph is symmetr...
    3 weeks ago
  • Neal Gafter's blog
    Response to letter from American Council on Science and Health. - Alex Berezow, Ph.D. Vice President of Scientific Affairs American Council on Science and Health P.O. Box 1791 New York, NY 10156 Doctor Berezow- I receiv...
    5 years ago
  • Pony Foo
    React Data Survival Kit - Handling data in React can be treacherous if you don’t know your way around. Learn some common patterns for fetching, storing, and retrieving data in thi...
    6 years ago
  • Gorogoa Developer Blog
    Irregular Update 12 - For the past few weeks I’ve been dealing with a family situation, so haven’t gotten much work done. But during that time, I’ve been reflecting on aspects o...
    9 years ago
  • Yi Wang's Tech Notes
    C++/Python Clients to Go JSON RPC Servers - I wrote this example to show how can we program clients to Go JSON RPC servers based on the `net/rpc/jsonrpc` standard package.
    9 years ago
  • Perfection Kills
    Javascript quiz. ES6 edition. -
    9 years ago
  • JavaScript, JavaScript...
    Of Classes and Arrow Functions (a cautionary tale) - Behold, the new hotness! The shapely Arrow Function has driven away the irksome function keyword and (by virtue of lexical this scoping) bought joy to many...
    9 years ago
  • usevim
    -
  • KeithSchwarz.com
    -

Popular Articles

  • Continuation Passing Style (CPS)
    Papers Retrospective:  The Essence of Compiling with Continuations   Overview of the field:  Compiling with Continuations, Continued ( s...
  • Pitfalls for JavaScript beginners
    Eval. According to ES5 , indirect calls to eval like var a = eval; a(code) or (0, eval)(code) or window.eval(code) are treated as a glo...
  • JavaScript Design Pattern Examples
    Factory function ObjectFactory(ctor) { var obj = {}; return function() { if(typeof ctor.prototype === 'number') obj....
  • Type System in Java
    Unified type system.  In a unified type system, all types including primitive types inherit from a single root type. For example, C# is unif...
  • A quick note on design patterns
    This post is a digest of multiple sources in the reference list. Figures and texts are freely borrowed from the references. Modification...
  • NF, HNF and WHNF
    WHNF: a lambda expr or a constructor HNF: a lambda expr where the function body is a NF NF: a term that contains no beta regex A discuss...
  • DOA Marie Rose skill sheet
    單一招式攻擊力低，須靠密集的攻擊和浮空後的打擊消耗對手體力 移動範圍較大，藉 7P 脫離對方攻擊圈，輔以 3P+K 二擇突進攻擊 中距離攻擊 P+K 適合硬撞，挑對時機成功率高，被擋下後破綻大 高級技巧：小迴旋舞可讓對方攻擊時失去平衡，以創造己方反擊機會 高級...
  • DOA Tools and Mods
    Documents Overview -  http://bbs.3dmgame.com/thread-4791938-1-1.html Editing texture -  https://www.ptt.cc/bbs/AC_In/M.1429727192.A.74B....
Simple theme. Powered by Blogger.