Abstract is missing.
- Tutorial: proving safety of parallel / multi-threaded programsS. Tucker Taft. 1-2 [doi]
- Engineering domain-specific languages with formula 2.0Ethan K. Jackson. 3-4 [doi]
- Satisfiability modulo theories for high integrity developmentNikolaj Bjørner. 5-6 [doi]
- Practical specification and verification with code contractsFrancesco Logozzo. 7-8 [doi]
- Bounded model checking of high-integrity softwareSagar Chaki. 9-10 [doi]
- Service-oriented architecture (SOA) concepts and implementationsJeff Boleng, Ricky E. Sward. 11-12 [doi]
- Technology for inferring contracts from codeFrancesco Logozzo. 13-14 [doi]
- SAW: the software analysis workbenchKyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb. 15-18 [doi]
- Optimizing verification effort with SPARK 2014Pavlos Efstathopoulos, Andrew Hawthorn. 19-20 [doi]
- Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coqPierre Courtieu, Maria Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings. 21-22 [doi]
- Real-time programming on accelerator many-core processorsStephen Michell, Brad Moore, Luís Miguel Pinho. 23-36 [doi]
- Bringing safe, dynamic parallel programming to the spark verifiable subset of adaS. Tucker Taft. 37-40 [doi]
- Up and out: scaling formal analysis using model-based development and architecture modelingMichael W. Whalen. 41-42 [doi]
- An approach to integration of complex systems: the SAVI virtual integration processDonald T. Ward, David A. Redman, Bruce A. Lewis. 43-46 [doi]
- Reddo: a model driven engineering toolset for embedded software developmentSteven Doran, Stephanie E. August. 47-48 [doi]
- Building confidence in system behaviorJohn B. Goodenough. 49-50 [doi]
- Compositional verification of a medical device systemAnitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl. 51-64 [doi]
- Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical deviceBrian R. Larson, John Hatcliff, Kim Fowler, Julien Delange. 65-84 [doi]
- Formal methods: an industrial perspectiveJeannette M. Wing. 85-86 [doi]
- Automatic versus interactive program verificationSuad Alagic. 87-88 [doi]