Sciweavers

Share ➚
NFM
2011
74views Formal Methods» more  NFM 2011»
Instantiation-Based Invariant Discovery
12 months 4 days ago
Instantiation-Based Invariant Discovery
Download  www.cs.uiowa.edu
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
Temesghen Kahsai, Yeting Ge, Cesare Tinelli
claim paper
Read More »
NFM
2011
72views Formal Methods» more  NFM 2011»
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
1 years 14 days ago
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Download  react.cs.uni-sb.de
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
Rüdiger Ehlers
claim paper
Read More »
NFM
2011
71views Formal Methods» more  NFM 2011»
CORAL: Solving Complex Constraints for Symbolic PathFinder
12 months 4 days ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Download  www.cin.ufpe.br
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
claim paper
Read More »
NFM
2011
68views Formal Methods» more  NFM 2011»
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
1 years 14 days ago
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
Download  www.informatik.uni-bremen.de
Jan Peleska, Elena Vorobev, Florian Lapschies
claim paper
Read More »
NFM
2011
63views Formal Methods» more  NFM 2011»
Model Checking Using SMT and Theory of Lists
1 years 14 days ago
Model Checking Using SMT and Theory of Lists
Download  research.microsoft.com
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
Aleksandar Milicevic, Hillel Kugler
claim paper
Read More »
All Subjects
Algorithms
Applied Computing
Artificial Intelligence
Augmented Reality
Automated Reasoning
Bioinformatics
Biometrics
Business
Combinatorics
Communications
Computational Biology
Computational Geometry
Computational Linguistics
Computer Architecture
Computer Graphics
Computer Networks
Computer Vision
Control Systems
Cryptology
Data Mining
Database
Discrete Geometry
Distributed And Parallel Computing
Document Analysis
ECommerce
Education
Electrical And Computer Engineering
Embedded Systems
Emerging Technology
Formal Methods
FPGA
Fuzzy Logic
Game Theory
GIS
Hardware
Healthcare
Human Computer Interaction
Image Analysis
Image Processing
Information Technology
Intelligent Agents
Internet Technology
Knowledge Management
Logical Reasoning
Machine Learning
Management
Mathematics
Medical Imaging
Modeling And Simulation
Multimedia
Natural Language Processing
Neural Networks
Operating System
Operations Research
Optimization
Pattern Recognition
Programming Languages
Robotics
Security Privacy
Sensor Networks
Signal Processing
Social Networks
Social Sciences
Software Engineering
Solid Modeling
System Software
Theoretical Computer Science
Virtual Reality
Visualization
VLSI
Formal Methods
Top of PageReset Settings
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