|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 21 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Emina Torlak, Mandana Vaziri, Julian Dolby |
MemSAT: checking axiomatic specifications of memory models.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
sat, bounded model checking, memory models, axiomatic specifications |
| 2 | Phillip Baraona, Perry Alexander |
Representing abstract architectures with axiomatic specifications and activation conditions. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications |
| 2 | Pankaj Jalote |
Testing the Completeness of Specifications. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications |
| 1 | Swen Jacobs, Viktor Kuncak |
Towards Complete Reasoning about Axiomatic Specifications. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet |
Test Selection Criteria for Quantifier-Free First-Order Specifications. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria |
| 1 | Chetan Shiva Shankar, Roy H. Campbell |
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies. |
PerCom |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chetan Shiva Shankar, Roy H. Campbell |
A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions. |
NCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jalal Kawash, Lisa Higham |
Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement). |
PODC |
2000 |
DBLP DOI BibTeX RDF |
SPARC |
| 1 | Pradip Bose |
Testing for Function and Performance: Towards an Integrated Processor Validation Methodology. |
J. Electronic Testing |
2000 |
DBLP DOI BibTeX RDF |
performance test cases, bounds modeling, performance validation, integrated methodology, test generation, microprocessor testing |
| 1 | Maurice Herlihy, Jeannette M. Wing |
Linearizable concurrent objects. |
SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Jalote |
Synthesizing Implementations of Abstract Data Types from Axiomatic Specifications. |
Softw., Pract. Exper. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Jeannette M. Wing |
Axioms for Concurrent Objects. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Clesio Saraiva dos Santos, Antonio L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho |
Towards Constructive Axiomatic Specifications. |
Workshop on Data Abstraction, Databases and Conceptual Modelling |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert R. Meyer, Joseph Y. Halpern |
Axiomatic Definitions of Programming Languages: A Theoretical Assessment. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Josef Jeanrond |
Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")