body { -ms-overflow-style: scrollbar; overflow-y: scroll; overscroll-behavior-y: none; } .errorContainer { background-color: #FFF; color: #0F1419; max-width: 600px; margin: 0 auto; padding: 10%; font-family: Helvetica, sans-serif; font-size: 16px; } .errorButton { margin: 3em 0; } .errorButton a { background: #1DA1F2; border-radius: 2.5em; color: white; padding: 1em 2em; text-decoration: none; } .errorButton a:hover, .errorButton a:focus { background: rgb(26, 145, 218); } .errorFooter { color: #657786; font-size: 80%; line-height: 1.5; padding: 1em 0; } .errorFooter a, .errorFooter a:visited { color: #657786; text-decoration: none; padding-right: 1em; } .errorFooter a:hover, .errorFooter a:active { text-decoration: underline; } #placeholder, #react-root { display: none !important; } body { background-color: #FFF !important; }

JavaScript is not available.

We’ve detected that JavaScript is disabled in this browser. Please enable JavaScript or switch to a supported browser to continue using twitter.com. You can see a list of supported browsers in our Help Center.

Terms of Service Privacy Policy Cookie Policy Imprint Ads info © 2023 Twitter, Inc.

Follow

sac-svt-2019

@SvtSac

Software Verification Track @ SAC 2019

Joined July 2018

sac-svt-2019’s Tweets

Deadline extended to September 24th! #SVT #SAC

The authors of the best papers from #SVT #SAC will be invited to submit extended versions for a special issue of software quality journal (SQJ)!

1

Program Committee almost completed, only few inviations are pending #SAC #SVT

Updated the preliminary program committee, will be extended in the next days #SAC #SVT

1

Paper submission is open and linked on webpage #SAC19 #SVT19 sites.google.com/site/sacsvt201

1

Website set-up, dissemination of CfP for #SACSVT2019

1

2