|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 37 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
On the Frame Problem in Procedure Specifications.  |
IEEE Trans. Software Eng.  |
1995 |
DBLP DOI BibTeX RDF |
frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations |
| 36 | Dana N. Xu |
Extended static checking for haskell. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
counterexample guided unrolling, pre/postcondition, symbolic simplification |
| 18 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verifying UML/OCL Operation Contracts. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 18 | Sumit Gulwani, Nebojsa Jojic |
Program verification as probabilistic inference. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs |
| 18 | Roope Kaivola, Mark D. Aagaard |
Divider Circuit Verification with Model Checking and Theorem Proving. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license