WebSite Logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Science in China Series : Information Sciences
  2. Science in China Series : Information Sciences : Volume 54
  3. Science in China Series : Information Sciences : Volume 54, Issue 2, February 2011
  4. Competent predicate abstraction in model checking
Loading...

Please wait, while we are loading the content...

Science in China Series : Information Sciences : Volume 61
Science in China Series : Information Sciences : Volume 60
Science in China Series : Information Sciences : Volume 59
Science in China Series : Information Sciences : Volume 58
Science in China Series : Information Sciences : Volume 57
Science in China Series : Information Sciences : Volume 56
Science in China Series : Information Sciences : Volume 55
Science in China Series : Information Sciences : Volume 54
Science in China Series : Information Sciences : Volume 54, Issue 12, December 2011
Science in China Series : Information Sciences : Volume 54, Issue 11, November 2011
Science in China Series : Information Sciences : Volume 54, Issue 10, October 2011
Science in China Series : Information Sciences : Volume 54, Issue 9, September 2011
Science in China Series : Information Sciences : Volume 54, Issue 8, August 2011
Science in China Series : Information Sciences : Volume 54, Issue 7, July 2011
Science in China Series : Information Sciences : Volume 54, Issue 6, June 2011
Science in China Series : Information Sciences : Volume 54, Issue 5, May 2011
Science in China Series : Information Sciences : Volume 54, Issue 4, April 2011
Science in China Series : Information Sciences : Volume 54, Issue 3, March 2011
Science in China Series : Information Sciences : Volume 54, Issue 2, February 2011
Analysis and experimentation of key technologies in service-oriented optical internet
Local segment-shared protection based on source egress gateway selection for multi-domain optical mesh networks
Heterodyne mixing and polarization diversity techniques in radio over fiber system with high sensitivity and dispersion tolerance
An algorithm to compute maximal contractions for Horn clauses
Competent predicate abstraction in model checking
Gene sorting in differential evolution with cross-generation mutation
A 14/11-approximation algorithm for sorting by short block-moves
Tissue P systems with cell separation: attacking the partition problem
Self-excitation of neurons leads to multiperiodicity of discrete-time neural networks with distributed delays
A unified dynamic model for locomotion and manipulation of a snake-like robot based on differential geometry
Providing personalized converged services based on flexible network reconfiguration
Robust cooperative spectrum sensing schemes for fading channels in cognitive radio networks
The performance of ultra wideband acquisition system based on energy detection over IEEE 802.15.3a channel
Low complexity construction for quasi-cyclic low-density parity-check codes by Progressive-Block Growth
Single station location method in NLOS environment: The circle fitting algorithm
Two adaptive detectors for range-spread targets in non-Gaussian clutter
Comparison of the RF MEMS switches with dielectric layers on the bridge’s lower surface and on the transmission line
A 6.2–9.5 GHz receiver for Wimedia MB-OFDM and China UWB standard
A current-mode RF transmitter for 6–9 GHz MB-OFDM UWB application
Science in China Series : Information Sciences : Volume 54, Issue 1, January 2011
Science in China Series : Information Sciences : Volume 53
Science in China Series : Information Sciences : Volume 52
Science in China Series : Information Sciences : Volume 51
Science in China Series : Information Sciences : Volume 50
Science in China Series : Information Sciences : Volume 49
Science in China Series : Information Sciences : Volume 48
Science in China Series : Information Sciences : Volume 47
Science in China Series : Information Sciences : Volume 46
Science in China Series : Information Sciences : Volume 45
Science in China Series : Information Sciences : Volume 44

Similar Documents

...
Combining predicate and numeric abstraction for software model checking

Article

...
Software model checking for resources race

Article

...
Predicate abstraction and CEGAR for higher-order model checking

Article

...
Polymorphic predicate abstraction

Article

...
Model checking concurrent systems with MSVL

Article

...
Transition predicate abstraction and fair termination

Article

...
Infinite-state invariant checking with IC3 and predicate abstraction

Article

...
Transition predicate abstraction and fair termination

Article

...
Hoare logic-based genetic programming

Article

Competent predicate abstraction in model checking

Content Provider Springer Nature Link
Author Li, Li Song, XiaoYu Gu, Ming Luo, XiangYu
Copyright Year 2010
Abstract The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach.
Starting Page 258
Ending Page 267
Page Count 10
File Format PDF
ISSN 1674733X
Journal Science in China Series : Information Sciences
Volume Number 54
Issue Number 2
e-ISSN 18691919
Language English
Publisher SP Science China Press
Publisher Date 2010-12-10
Publisher Place Heidelberg
Access Restriction One Nation One Subscription (ONOS)
Subject Keyword program model checking predicate abstraction weight heuristic Information Systems and Communication Service
Content Type Text
Resource Type Article
Subject Computer Science
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...