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

  • Eli Bendersky's website
    Summary of reading: April - June 2025 - - "All Thirteen: The Incredible Cave Rescue of the Thai Boys' Soccer Team" by Christina Soontornvat - a very nice account of the unusual event ...
    1 hour ago
  • Atomic Spin
    How JSDoc Saved My Dev Workflow - My default when starting a new project is TypeScript. It could be the smallest deliverable ever—like a single marketing webpage—and I’ll still whip out t...
    14 hours ago
  • alvinalexander.com
    “I slept and dreamt that life was joy” - "I slept and dreamt that life was joy. I awoke and saw that life was service. I acted and behold, service was joy." ~ Rabindranath Tagore
    1 week 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.