FACTOID # 68: Canada lays claim to more water than any other nation.
 
 Home   Encyclopedia   Statistics   Countries A-Z   Flags   Maps   Education   Forum   FAQ   About 
 
WHAT'S NEW
RECENT ARTICLES
More Recent Articles »
 

FACTS & STATISTICS    Simple view

  1. Select countries to view: (hold down Control key and click to select several)

     

     

    Compare:

     

     
  1. Select fact or statistic: (* = graphable)

     

     

     

  2. (OPTIONAL) Compare to statistic: (both need to be graphable)

     

     

     

  3. View result as:

     

       
(OR) SEARCH ALL encyclopedia, stats & forums:   

Encyclopedia > SPIN (verification system)

SPIN is an automatic verification system based on LTL (linear time temporal logic) checking. SPIN accepts input in form of PROMELA code. It can work as either a simulator, running the given code, or as a formal verifier, trying to either prove given theorem or produce a counterexample.


SPIN accepts theorems in form of either LTL formula or "never claims".


  Results from FactBites:
 
Spin History (795 words)
The first version of Spin was written in 1989 to serve as a small example model checking system that could be discussed in a course on protocol verification [H91].
A year later Spin was extended with a builtin algorithm for converting from LTL syntax to automata.
Another significant extension of Spin was the addition of an algorithm for representing the reachable state space with a BDD-like representation that is optimized for application to software verification problems.
MURI Research: Project Three (1805 words)
Verification tools for finite state machines have been in use for years (SPIN [12], SMV [13], COSPAN [14], HSIS [15], etc.) and proven successful for the automatic analysis of discrete problems such as communication protocols [16] and digital circuits.
Verification rules are used to reduce temporal properties of systems to first-order verification conditions [31].
Verification of closed-loop hybrid systems is better suited for optimal control, rather than game theory, as one of the two players (the controller) has its strategy fixed a-priori.
  More results at FactBites »


 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments
Please enter the 5-letter protection code

Want to know more?
Search encyclopedia, statistics and forums:
 


Lesson Plans | Student Area | Student FAQ | Reviews | Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms.