Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ProofPower with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2013 (10)
Publication types (Num. hits)
article(1) incollection(1) inproceedings(8)
Venues (Conferences, Journals, ...)
ICFEM(2) TPHOLs(2) Formal Aspects Comput.(1) ICECCS(1) REFINE@FMWeek(1) SEW(1) The Seventeen Provers of the W...(1) UTP(1)
Authors
Ana Cavalcanti 0001(4) Marcel Oliveira(3) R. D. Arthan(3) Jim Woodcock 0001(2) Alf Smith(1) Colin O'Halloran(1) Frank Zeyda(1) John Harrison 0001(1) Konrad Slind(1) M. M. Adams(1) Mike Gordon(1) P. Caseley(1) Phil Clayton(1) Philip B. Clayton(1) Rob Arthan(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 10 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
64Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 Unifying Theories in ProofPower-Z. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Unifying Theories of Programming, theorem prover
60M. M. Adams, Philip B. Clayton ClawZ: Cost-Effective Formal Verification for Control Systems. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
40Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 Unifying theories in ProofPower-Z. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Frank Zeyda, Marcel Oliveira, Ana Cavalcanti 0001 Supporting ArcAngel in ProofPower. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Mike Gordon Twenty Years of Theorem Proving for HOLs Past, Present and Future. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23John Harrison 0001, Konrad Slind, Rob Arthan HOL. Search on Bibsonomy The Seventeen Provers of the World The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23R. D. Arthan A Verified Formal Model of a VC Generator. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Ana Cavalcanti 0001, Phil Clayton Verification of Control Systems using Circus. Search on Bibsonomy ICECCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF refinement, CSP, Z, Simulink
23R. D. Arthan An Irrational Construction of R from Z. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith ClawZ: Control Laws in Z. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license