Checkers - PDFSEARCH.IO - Document Search Engine

Checkers
Results: 271

#	Item
61	Testing activities at CISS Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 11:17:42 Control theory Automata theory Model checkers Uppaal Model Checker Model checking
62	A thing for wings \| QSRWeb A thing for wings Add to Reading List Source URL: www.nakedchickenco.com Language: English - Date: 2014-08-28 10:25:00 Fast food Chicken Food and drink Wingstop Checkers
63	Sports First-year coach a &e Author Add to Reading List Source URL: www.thecharlottepost.com Language: English - Date: 2015-02-04 11:08:31 Charlotte Checkers Charlie Sifford Time Warner Cable Arena Johnson C. Smith University Charlotte North Carolina South Mecklenburg High School Northern Trust Open Bill Elliott North Carolina Golf Sports in the United States
64	RESY: Requirement Synthesis for Compositional Model Checking⋆ Bernd Finkbeiner, Hans-J¨org Peter, and Sven Schewe Universit¨ at des SaarlandesSaarbr¨ Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:35:00 Promela Software engineering Model checkers Model checking SPIN model checker
65	Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics
66	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
67	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
68	Impact of Township Shopping Centres – July, 2010 CHAPTER NINE: IN-DEPTH CASE STUDY ANALYSIS – UMLAZI MEGA CITY 9.1 Add to Reading List Source URL: www.urbanlandmark.org.za Language: English - Date: 2013-03-05 09:38:11 Provinces of South Africa Durban Checkers Township Umlazi Geography of Africa Geography of South Africa
69	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
70	Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-25 12:01:05 Compiler construction NuSMV Software testing Model checking Static program analysis Abstract interpretation Parsing Software verification Coverity Model checkers Software Computing