Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Meetings
    • HotSoS Symposium
    • HCSS Conference
    • C3E Workshop
    • SCC Meeting
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events
  • Venue
  • Call for Presentations
  • Past Events

Breadcrumb

  • Home /
  • Node /
  • Using Symbolic Execution To Obtain Greater Automation & Flexibility For ...

Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES

Download

Presented as part of the 2011 HCSS conference.

Tags:
Concordia University
Kansas State University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
License: Creative Commons 2.5
Submitted by Anonymous on Sat, 05/14/2011 - 17:41
© 2026 Cyber-Physical Systems Virtual Organization

Footer

  • Terms
  • Follow Us on X