Isabelle

#	Item
381	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-10 09:41:34 Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification
382	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English
383	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Specification language Refinement Abstract state machines Specification Object Process Methodology Domain-specific language Programming language Integrated circuit design Formal specification Isabelle Program derivation
384	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English
385	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English
386	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English
387	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English
388	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English
389	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English
390	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English