Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044485937> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2044485937 endingPage "377" @default.
- W2044485937 startingPage "377" @default.
- W2044485937 abstract "This volume contains the Proceedings of the 2 nd Workshop on Software Model Checking, which was held on 14 July 2003 in Boulder, Colorado. The Workshop was a satellite event of the Conference on Computer Aided Verification (CAV) 2003. The first Workshop on Software Model Checking (SoftMC) was held in 2001. Since that time, the field has grown tremendously and we've made a lot of progress in pushing the state-of-the-art. We are now entering a stage where the strengths and limitations of the current approaches are perhaps better understood. With this in mind we invited Dawson Engler to open the workshop with a presentation on using both static analysis and model checking for finding errors in programs. A companion paper to this presentation is included in the proceedings. But, what does the future hold? Can we analyze real programs? Will software model checking ever be push-button? Do we (only) care about finding errors? Can we leverage SAT technology like hardware model checking does? Hopefully we answered some of these questions and more at the 2003 Workshop on Software Model Checking. Our intention for this second workshop was to help provide a springboard for the next phase of development in software model checking. The call for papers resulted in 18 submissions, of which 8 were selected for presentation. The selection process consisted of each paper receiving 3 reviews, followed by a virtual Program Committee meeting. This year the selection process was particularly hard, due to the high level of the submissions, and we are very grateful to the PC and the additional reviewers for their efforts in this regard. Program Committee Byron Cook (Microsoft) David Dill (Stanford University) Patrice Godefroid (Bell Laboratories, Lucent Technologies) Susanne Graf (Verimag) Gerard Holzmann (NASA/JPL Laboratory for Reliable Software) Radu Mateescu (INRIA Rhône-Alpes/VASY) Scott Stoller (State University of New York at Stony Brook) Willem Visser (RIACS/NASA Ames Research Center) Additional Reviewers : Aurore Collomb, Shuvendu Lahiri, Frederic Lang, Jacob Lichtenberg, Kedar Namjoshi and Wendelin Serwe We would also like to thank Microsoft Research for generously providing financial support and the CAV 2003 organizers for their help in organizing the workshop." @default.
- W2044485937 created "2016-06-24" @default.
- W2044485937 creator A5003921851 @default.
- W2044485937 creator A5021474885 @default.
- W2044485937 creator A5088454541 @default.
- W2044485937 date "2003-09-01" @default.
- W2044485937 modified "2023-09-27" @default.
- W2044485937 title "SoftMC 2003: Workshop on Software Model Checking" @default.
- W2044485937 doi "https://doi.org/10.1016/s1571-0661(05)80001-5" @default.
- W2044485937 hasPublicationYear "2003" @default.
- W2044485937 type Work @default.
- W2044485937 sameAs 2044485937 @default.
- W2044485937 citedByCount "2" @default.
- W2044485937 crossrefType "journal-article" @default.
- W2044485937 hasAuthorship W2044485937A5003921851 @default.
- W2044485937 hasAuthorship W2044485937A5021474885 @default.
- W2044485937 hasAuthorship W2044485937A5088454541 @default.
- W2044485937 hasBestOaLocation W20444859371 @default.
- W2044485937 hasConcept C110251889 @default.
- W2044485937 hasConcept C115903868 @default.
- W2044485937 hasConcept C121332964 @default.
- W2044485937 hasConcept C126838900 @default.
- W2044485937 hasConcept C153083717 @default.
- W2044485937 hasConcept C154945302 @default.
- W2044485937 hasConcept C180152950 @default.
- W2044485937 hasConcept C199360897 @default.
- W2044485937 hasConcept C2777601897 @default.
- W2044485937 hasConcept C2777904410 @default.
- W2044485937 hasConcept C2779662365 @default.
- W2044485937 hasConcept C41008148 @default.
- W2044485937 hasConcept C529173508 @default.
- W2044485937 hasConcept C62520636 @default.
- W2044485937 hasConcept C71924100 @default.
- W2044485937 hasConcept C98045186 @default.
- W2044485937 hasConceptScore W2044485937C110251889 @default.
- W2044485937 hasConceptScore W2044485937C115903868 @default.
- W2044485937 hasConceptScore W2044485937C121332964 @default.
- W2044485937 hasConceptScore W2044485937C126838900 @default.
- W2044485937 hasConceptScore W2044485937C153083717 @default.
- W2044485937 hasConceptScore W2044485937C154945302 @default.
- W2044485937 hasConceptScore W2044485937C180152950 @default.
- W2044485937 hasConceptScore W2044485937C199360897 @default.
- W2044485937 hasConceptScore W2044485937C2777601897 @default.
- W2044485937 hasConceptScore W2044485937C2777904410 @default.
- W2044485937 hasConceptScore W2044485937C2779662365 @default.
- W2044485937 hasConceptScore W2044485937C41008148 @default.
- W2044485937 hasConceptScore W2044485937C529173508 @default.
- W2044485937 hasConceptScore W2044485937C62520636 @default.
- W2044485937 hasConceptScore W2044485937C71924100 @default.
- W2044485937 hasConceptScore W2044485937C98045186 @default.
- W2044485937 hasIssue "3" @default.
- W2044485937 hasLocation W20444859371 @default.
- W2044485937 hasOpenAccess W2044485937 @default.
- W2044485937 hasPrimaryLocation W20444859371 @default.
- W2044485937 hasRelatedWork W2008649422 @default.
- W2044485937 hasRelatedWork W2039567475 @default.
- W2044485937 hasRelatedWork W2055495623 @default.
- W2044485937 hasRelatedWork W207635995 @default.
- W2044485937 hasRelatedWork W2088692586 @default.
- W2044485937 hasRelatedWork W2153150702 @default.
- W2044485937 hasRelatedWork W2186238998 @default.
- W2044485937 hasRelatedWork W2463469442 @default.
- W2044485937 hasRelatedWork W2897407547 @default.
- W2044485937 hasRelatedWork W29090223 @default.
- W2044485937 hasRelatedWork W2911658469 @default.
- W2044485937 hasRelatedWork W2912704049 @default.
- W2044485937 hasRelatedWork W2912953153 @default.
- W2044485937 hasRelatedWork W2913502950 @default.
- W2044485937 hasRelatedWork W2913648311 @default.
- W2044485937 hasRelatedWork W2917601057 @default.
- W2044485937 hasRelatedWork W3007612005 @default.
- W2044485937 hasRelatedWork W3034803167 @default.
- W2044485937 hasRelatedWork W3046120165 @default.
- W2044485937 hasRelatedWork W167580652 @default.
- W2044485937 hasVolume "89" @default.
- W2044485937 isParatext "false" @default.
- W2044485937 isRetracted "false" @default.
- W2044485937 magId "2044485937" @default.
- W2044485937 workType "article" @default.