Matches in SemOpenAlex for { <https://semopenalex.org/work/W68069235> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W68069235 abstract "Master SPIN, the breakthrough tool for improving software reliabilitySPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen years ago. The tool has been applied to everything from the verification of complex call processing software that is used in telephone exchanges, to the validation of intricate control software for interplanetary spacecraft.This is the most comprehensive reference guide to SPIN, written by the principal designer of the tool. It covers the tool's specification language and theoretical foundation, and gives detailed advice on methods for tackling the most complex software verification problems. Sum Design and verify both abstract and detailed verification models of complex systems software Sum Develop a solid understanding of the theory behind logic model checking Sum Become an expert user of the SPIN command line interface, the Xspin graphical user interface, and the TimeLine editing tool Sum Learn the basic theory of omega automata, linear temporal logic, depth-first and breadth-first search, search optimization, and model extraction from source codeThe SPIN software was awarded the prestigious Software System Award by the Association for Computing Machinery (ACM), which previously recognized systems such as UNIX, SmallTalk, TCP/IP, Tcl/Tk, and the World Wide Web." @default.
- W68069235 created "2016-06-24" @default.
- W68069235 creator A5006062153 @default.
- W68069235 date "2003-09-04" @default.
- W68069235 modified "2023-10-04" @default.
- W68069235 title "Spin model checker, the: primer and reference manual" @default.
- W68069235 cites W2035007256 @default.
- W68069235 hasPublicationYear "2003" @default.
- W68069235 type Work @default.
- W68069235 sameAs 68069235 @default.
- W68069235 citedByCount "243" @default.
- W68069235 countsByYear W680692352012 @default.
- W68069235 countsByYear W680692352013 @default.
- W68069235 countsByYear W680692352014 @default.
- W68069235 countsByYear W680692352015 @default.
- W68069235 countsByYear W680692352016 @default.
- W68069235 countsByYear W680692352017 @default.
- W68069235 countsByYear W680692352018 @default.
- W68069235 countsByYear W680692352020 @default.
- W68069235 crossrefType "book" @default.
- W68069235 hasAuthorship W68069235A5006062153 @default.
- W68069235 hasConcept C110251889 @default.
- W68069235 hasConcept C111919701 @default.
- W68069235 hasConcept C113843644 @default.
- W68069235 hasConcept C115903868 @default.
- W68069235 hasConcept C127413603 @default.
- W68069235 hasConcept C129307140 @default.
- W68069235 hasConcept C149091818 @default.
- W68069235 hasConcept C157915830 @default.
- W68069235 hasConcept C186846655 @default.
- W68069235 hasConcept C199360897 @default.
- W68069235 hasConcept C21547014 @default.
- W68069235 hasConcept C2776329536 @default.
- W68069235 hasConcept C2777904410 @default.
- W68069235 hasConcept C41008148 @default.
- W68069235 hasConcept C48002344 @default.
- W68069235 hasConcept C56909552 @default.
- W68069235 hasConcept C80444323 @default.
- W68069235 hasConceptScore W68069235C110251889 @default.
- W68069235 hasConceptScore W68069235C111919701 @default.
- W68069235 hasConceptScore W68069235C113843644 @default.
- W68069235 hasConceptScore W68069235C115903868 @default.
- W68069235 hasConceptScore W68069235C127413603 @default.
- W68069235 hasConceptScore W68069235C129307140 @default.
- W68069235 hasConceptScore W68069235C149091818 @default.
- W68069235 hasConceptScore W68069235C157915830 @default.
- W68069235 hasConceptScore W68069235C186846655 @default.
- W68069235 hasConceptScore W68069235C199360897 @default.
- W68069235 hasConceptScore W68069235C21547014 @default.
- W68069235 hasConceptScore W68069235C2776329536 @default.
- W68069235 hasConceptScore W68069235C2777904410 @default.
- W68069235 hasConceptScore W68069235C41008148 @default.
- W68069235 hasConceptScore W68069235C48002344 @default.
- W68069235 hasConceptScore W68069235C56909552 @default.
- W68069235 hasConceptScore W68069235C80444323 @default.
- W68069235 hasLocation W680692351 @default.
- W68069235 hasOpenAccess W68069235 @default.
- W68069235 hasPrimaryLocation W680692351 @default.
- W68069235 hasRelatedWork W125598877 @default.
- W68069235 hasRelatedWork W1489391022 @default.
- W68069235 hasRelatedWork W1498432697 @default.
- W68069235 hasRelatedWork W1503170978 @default.
- W68069235 hasRelatedWork W1506588809 @default.
- W68069235 hasRelatedWork W1539432158 @default.
- W68069235 hasRelatedWork W1556566737 @default.
- W68069235 hasRelatedWork W1943502734 @default.
- W68069235 hasRelatedWork W1996832037 @default.
- W68069235 hasRelatedWork W2000947342 @default.
- W68069235 hasRelatedWork W2023808162 @default.
- W68069235 hasRelatedWork W2061438988 @default.
- W68069235 hasRelatedWork W2101508170 @default.
- W68069235 hasRelatedWork W2115309705 @default.
- W68069235 hasRelatedWork W2117189826 @default.
- W68069235 hasRelatedWork W2135274583 @default.
- W68069235 hasRelatedWork W2136877520 @default.
- W68069235 hasRelatedWork W2171480813 @default.
- W68069235 hasRelatedWork W2913459036 @default.
- W68069235 hasRelatedWork W3144368627 @default.
- W68069235 isParatext "false" @default.
- W68069235 isRetracted "false" @default.
- W68069235 magId "68069235" @default.
- W68069235 workType "book" @default.