|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti |
Mechanised support for sound refinement tactics.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Mechanical reasoning about families of UTP theories. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Frank Zeyda, Ana Cavalcanti |
A tactic language for refinement of state-rich concurrent specifications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti, Andy J. Wellings |
The Safety-Critical Java Mission Model: A Formal Account. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Stoddart, Robert Lynas, Frank Zeyda |
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Stoddart, Frank Zeyda, Steve Dunne |
Preference and Non-deterministic Choice. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Automating Refinement of Circus Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Vernon, Frank Zeyda, Ana Cavalcanti |
Communication Systems in ClawZ. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Dunne, Frank Zeyda |
Reactivising Classical B. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti |
Supporting ArcAngel in ProofPower. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Mechanical Reasoning about Families of UTP Theories. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Mechanised Translation of Control Law Diagrams into Circus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
| 1 | Frank Zeyda, Ana Cavalcanti |
Encoding Circus Programs in ProofPowerZ. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Stoddart, Dominique Cansell, Frank Zeyda |
Modelling and Proof Analysis of Interrupt Driven Scheduling. |
B |
2007 |
DBLP DOI BibTeX RDF |
Interrupt Driven Scheduler, Formal Methods, Event Calculus |
| 1 | Bill Stoddart, Frank Zeyda, Robert Lynas |
A Design-Based Model of Reversible Computation. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Bill Stoddart, Steve Dunne |
A Prospective-Value Semantics for the GSL. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution |
| 1 | Bill Stoddart, Frank Zeyda |
Expression Transformers in B-GSL. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Expression transformers, term transformers, combining functional and imperative programming, backtracking, reversible computation, B, predicate transformers |
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")