Sciweavers

Share ➚
STTT   2010
Wall of Fame | Most Viewed STTT-2010 Paper
STTT
2010
71views more  STTT 2010»
Data-abstraction refinement: a game semantic approach
1 years 2 days ago
Data-abstraction refinement: a game semantic approach
Download  www.cs.bham.ac.uk
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, ...
claim paper
Read More »
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source71
Data-abstraction refinement: a game semantic approach
claim
2Download preprint from source43
Graph transformation tool contest 2008
claim
3Download preprint from source43
Rodin: an open toolset for modelling and reasoning in Event-B
claim
4Download preprint from source39
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
claim
5Download preprint from source38
Experimental assessment of combining pattern matching strategies with VIATRA2
claim
6Download preprint from source37
Scalable shared memory LTL model checking
claim
7Download preprint from source37
A case study to evaluate the suitability of graph transformation tools for program refactoring
claim
8Download preprint from source36
Distributed dynamic partial order reduction
claim
9Download preprint from source35
Synthesis and stochastic assessment of cost-optimal schedules
claim
10Download preprint from source35
Evaluation of Kermeta for solving graph-based problems
claim
11Download preprint from source35
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System
claim
12Download preprint from source34
LTL satisfiability checking
claim
13Download preprint from source32
MontiCore: a framework for compositional development of domain specific languages
claim
14Download preprint from source31
Solving the ignoring problem for partial order reduction
claim
15Download preprint from source27
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers
claim
16Download preprint from source26
Towards an industrial grade IVE for Java and next generation research platform for JML
claim
Spread the Word
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books