01455nam 2200361Ia 450 99638617220331620221108101102.0(CKB)4940000000082621(EEBO)2248524362(OCoLC)17161731(EXLCZ)99494000000008262119871202d1668 uy |engurbn||||a|bb|The sandy foundation shaken, or, Those so generally believed and applauded doctrines ... refuted[electronic resource] from the authority of Scripture testimonies, and right reason /by W.P. ..London, [s.n.]Printed in the Year, 166836 pErrata: p. 36.Imperfect: faded; copy at reel 2605:1f lacks t.p., and is stained, with loss of text; reel 1099:2 t.p stained and torn, with loss of text.Reproduction of originals in: British Library and Llyfrgell Genedlaethol Cymru/National Library of Wales, Aberystwyth, Wales.eebo-0018Society of FriendsDoctrinesTheology, DoctrinalSociety of FriendsDoctrines.Theology, Doctrinal.Penn William1644-1718.444261OCLUMIWaOLNBOOK996386172203316The sandy foundation shaken, or, Those so generally believed and applauded doctrines ... refuted2426316UNISA03871nam 22006015 450 99646588440331620230405233849.010.1007/11537328(CKB)1000000000213174(SSID)ssj0000318970(PQKBManifestationID)11240032(PQKBTitleCode)TC0000318970(PQKBWorkID)10336290(PQKB)11318861(DE-He213)978-3-540-31899-6(MiAaPQ)EBC3067914(PPN)123096669(EXLCZ)99100000000021317420100723d2005 u| 0engurnn|008mamaatxtccrModel Checking Software[electronic resource] 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /edited by Patrick Godefroid1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XII, 292 p.) Theoretical Computer Science and General Issues,2512-2029 ;3639Also available on the Internet.Printed edition: 9783540281955 Includes bibliographical references.Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How to Make Systems Code Crash Itself -- Invited Tutorials -- Effective Bug Hunting with Spin and Modex -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State Representation and Abstraction -- An Incremental Heap Canonicalization Algorithm -- Memory Efficient State Space Storage in Explicit Software Model Checking -- Counterexample-Based Refinement for a Boundedness Test for CFSM Languages -- Dealing with Concurrency -- Symbolic Model Checking for Asynchronous Boolean Programs -- Improving Spin’s Partial-Order Reduction for Breadth-First Search -- Sound Transaction-Based Reduction Without Cycle Detection -- Dealing with Complex Data -- Repairing Structurally Complex Data -- Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices -- Behavioural Models for Hierarchical Components -- Checking Temporal Properties -- On-the-Fly Emptiness Checks for Generalized Büchi Automata -- Stuttering Congruence for ? -- Verifying Pattern-Generated LTL Formulas: A Case Study -- Checking Security and Real-Time Properties -- Generic Verification of Security Protocols -- Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models -- Model Checking Machine Code with the GNU Debugger -- Tool Papers -- Etch: An Enhanced Type Checking Tool for Promela -- Enhanced Probabilistic Verification with 3Spin and 3Murphi -- SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions -- Learning-Based Assume-Guarantee Verification (Tool Paper).Theoretical Computer Science and General Issues,2512-2029 ;3639Software engineeringCompilers (Computer programs)Computer scienceSoftware EngineeringCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingSoftware engineering.Compilers (Computer programs).Computer science.Software Engineering.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.005.1/4Godefroid Patrickedthttp://id.loc.gov/vocabulary/relators/edtLINK (Online service)BOOK996465884403316Model Checking Software771961UNISA