|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Byron Cook, Scott D. Stoller, Willem Visser (eds.) |
Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005  |
SoftMC@CAV  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte |
XRT- Exploring Runtime for .NET Architecture and Applications. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Palmer, Steve Barrus, Yu Yang 0013, Ganesh Gopalakrishnan, Robert M. Kirby |
Gauss: A Framework for Verifying Scientific Computing Software. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Westphal |
LSC Verification for UML Models with Unbounded Creation and Destruction. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani |
Model Checking Linear Programs with Arrays. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka |
Open-Source Model Checking. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith D. Swenson |
Error Detection in Concurrent Java Programs. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Morgan Magnin, Didier Lime, Olivier H. Roux |
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Scott D. Stoller, Willem Visser |
Preface. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Reiss |
Checking Event-Based Specifications in Java Systems. |
SoftMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Scott D. Stoller, Willem Visser |
SoftMC 2003: Workshop on Software Model Checking. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif |
Space-Reduction Strategies for Model Checking Dynamic Software. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Lerda, Nishant Sinha 0001, Michael Theobald |
Symbolic Model Checking of Software. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, Dawson R. Engler |
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, Shmuel Sagiv |
Automatically Verifying Concurrent Queue Algorithms. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aysu Betin-Can, Tevfik Bultan |
Interface-Based Specification and Verification of Concurrency Controllers. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke |
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Dams |
Comparing Abstraction Refinement Algorithms. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cormac Flanagan, Shaz Qadeer |
Transactions for Software Model Checking. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Songtao Xia, James Hook |
Experience with Abstraction-carrying Code. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license