Extended static checking - PDFSEARCH.IO - Document Search Engine

Extended static checking
Results: 8

#	Item
1	Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-24 19:03:54 Computing Software engineering Software Java platform Cross-platform software Formal methods ESC/Java Concurrent programming languages Java Modeling Language Extended static checking Java Java version history
2	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
3	Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-23 11:19:39 Theoretical computer science Formal methods Software engineering Computing Logic in computer science Java Modeling Language Postcondition Extended static checking Predicate transformer semantics ESC/Java Precondition KeY
4	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
5	Comparing Bug Finding Tools with Reviews and Tests? Stefan Wagner1 , Jan J¨ urjens1 , Claudia Koller1, and Peter Trischberger2 1 Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2005-05-10 05:04:55 Software bug Programming tool Source lines of code Extended static checking PMD Software review Software Program analysis FindBugs
6	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
7	PDF Document Add to Reading List Source URL: apotheca.hpl.hp.com Language: English - Date: 1999-01-04 14:36:58 Software development Extended static checking Program analysis Formal verification Type system ESC/Java Programming language Modula-3 Software bug Software engineering Computing Formal methods
8	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 ESC/Java Extended static checking FindBugs Java programming language Software bug PMD Pointer C Java Computing Software Cross-platform software