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: Comments (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
    More on How JSDoc Saved the Day: ESLint Enters the Chat - Previously, I showed how you can use JSDoc and jsconfig.json as a replacement for TypeScript style type checking — without a build step, no less. At the ...
    3 hours ago
  • Eli Bendersky's website
    Debugging WASM in Chrome DevTools - When I was working on the WASM backend for my Scheme compiler, I ran into several tricky situations with debugging generated WASM code. It turned out tha...
    4 days ago
  • alvinalexander.com
    Book: Learn Functional Programming The Fast Way! (FP for OOP developers) - NOV., 2022: My new book, Learn Functional Programming The Fast Way, is currently an Amazon Java and functional programming #1 new release. The book is now ...
    4 months ago
  • Perfection Kills
    Using AI to accurately predict CrossFit workout difficulty and performance -
    10 months 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...
    6 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...
    10 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.
    10 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...
    10 years ago
  • usevim
    -
  • KeithSchwarz.com
    -

Popular Articles
Simple theme. Powered by Blogger.