×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [software model checking]
Software Model Checking with SMT Ken McMillan Microsoft Research TexPoint fonts used in EMF: A A A A A
214 views
A Comparative Study of Software Model Checkers as Unit Testing Tools an Industrial Case Study
29 views
Translation-Based Compositional Reasoning for Software Systems Fei Xie and James C. Browne Robert P. Kurshan Cadence Design Systems
222 views
Program Verification -- new recipe for old problem Zhou Chaochen Institute of Software, CAS
[email protected]
228 views
Applying Software Model Checking to Automatic Text Summarization SSSEV2011 Irina Shoshmina, Nasrin Mostafazadeh, Omid Bakhshandeh, Alexey Belyaev, and
214 views
Part II: Atomicity for Software Model Checking. Class Account { int balance; static int MIN = 0, MAX = 100; bool synchronized deposit(int n) { int t =
214 views
Synthesizing Programs with Constraint Solvers CAV 2012 invited tutorial Ras Bodik Emina Torlak Division of Computer Science University of California, Berkeley
218 views
8D-2
219 views
CSE Bytes & Pieces
223 views
50.530: Software Engineering Sun Jun SUTD. DateTopicRemarks Sep 15Introduction Sep 22Automatic Testing Sep 29Delta Debugging Oct 13Bug Localization Oct
223 views
Software Model Checking: Where It Is, and Where It’s Headed
44 views