×
10% Discount on All E-Books through IGI Global’s Online Bookstore Extended
(10% discount on all e-books cannot be combined with most offers. Discount is valid on purchases made directly through IGI Global Online Bookstore (
www.igi-global.com
)
and may not be utilized by booksellers and distributors. Offer does not apply to e-Collections and exclusions of select titles may apply. Offer expires December 31, 2022.)
Browse Titles
Login/Create Account
Language:
English
US
China
Cart
0
All Products
All Products
Books
Journals
Videos
Book Chapters
Journal Articles
Video Lessons
Teaching Cases
Special Offers
10% Discount on All E-Books through IGI Global’s Online Bookstore
With the continued paper shortages and supply chain issues, we have been informed by our partners that there will be substantial delays in printing and shipping publications, especially as we approach the holiday season. To help incentive the electronic format and streamline access to the latest research, we are offering a 10% discount on all our e-books through IGI Global’s Online Bookstore. Hosted on the InfoSci
®
platform, these titles feature no DRM, no additional cost for multi-user licensing, no embargo of content, full-text PDF & HTML format, and more.
Browse Titles
IGI Global to Convert an Additional 30 Journals to Full Gold Open Access for the 2022 Volume Year
IGI Global is to convert an additional 30 journals to full gold open access (OA) for their 2022 volume year, which will expand their OA collection to contain 60 gold open access and one (1) platinum open access journal.
Learn More
All IGI Global Scholarly Journals Shift to "Digital Preferred" Format
In response to the overwhelming demand for electronic content coupled with the mission to decrease the overall environmental impacts of print production and distribution, all IGI Global journals will shift into a digital preferred model for the 2022 volume year. Under this model, journals will become primarily available under electronic format and articles will be immediately available upon acceptance. Print subscriptions and print + electronic subscriptions will still be available, but for the print version, all articles that are published during the volume year will become available at the end of the year in a single (1) printed volume.
Learn More
IGI Global’s New DEI e-Book Collection
Acquire Over 320+ E-Books on Diversity, Equity, and Inclusivity from a publisher that has been dedicated to DEI since its inception over 30 years ago. Now, benefit from a collection of all of our DEI e-Books at a 90% Discount.
Learn More
Offering a
5% Pre-Publication Discount
on
All Reference Books Ordered Through IGI Global’s Online Bookstore*
To support customers with accessing the latest research, IGI Global is offering a 5% pre-publication discount on all hardcover, softcover, e-books, and hardcover + e-books titles.
*5% discount offer is eligible on hardcover, softcover, e-books, and hardcover + e-books titles and is automatically applied directly to the shopping cart. Discount offer only valid on purchases made directly through IGI Global’s Online Bookstore and offer expires 30 days after the publication’s release. This automatic discount is not intended for use by book distributors or wholesalers.
Browse Titles
Books
Books
Open Access Books
OnDemand Book Chapters
Journals
Journals
Open Access Journals
OnDemand Journal Articles
e-Collections
e-Collections
Transformative Open Access (Read & Publish)
Open Access
Publish
with Us
Resources
Librarians
e-Collections
Book Title List
Journal Title List
Video Title List
Library Collection Development Service
Browse Forthcoming Books
Consortia Partnerships
Library and Publisher Collaborations
Product Distributors
Catalogs
Open Access Initiative
Instructors
Course Adoption
Teaching Cases
K-12 Online Learning Collection
Researchers
Browse Books
Browse Journals
Browse Forthcoming Books
Search Open Access Content
OnDemand Downloads
Webinars
Authors and Editors
eEditorial Discovery
®
System
Peer Review Process
Ethics and Malpractice
COPE Membership
Fair Use Policy
Open Access Publishing
Author Services
FAQ
Distributors
Distributor Resources
Book Distributors
Journal Subscription Agencies
E-Resource Partners
Browse Forthcoming Books
Catalogs
About Us
Newsroom
What is Model Checking
1.
A technique for automatically verifying correctness of finite-state systems. It refers to the algorithms for exhaustively and automatically
checking
the state space of a transition system to determine if a given
model
of the system meets a given specification.
Learn more in: Verification of Service-Based Declarative Business Processes: A Satisfiability Solving-Based Formal Approach
2.
A formal verification technology of software systems that mechanically checks whether the given
model
s satisfies the specified properties or not.
Learn more in: A Survey on the Applications of Swarm Intelligence to Software Verification
3.
“Let M be a Kripke structure (i.e., state-transition graph). Let f be a formula of temporal logic (i. e., the specification). Find all states s of M such that M,s | = f.“( Clarke, 2008 )
Learn more in: Tool Based Integration of Requirements Modeling and Validation into Business Process Modeling
4.
is a formal verification technique that compares the implementation of a design to a set of user-specified properties. It determines whether a set of properties hold true for the given implementation of a design.
Learn more in: PolyOrBAC: An Access Control Model for Inter-Organizational Web Services
5.
A technique used to verify if a given system formal
model
satisfies some desired properties, also described in a formal way. For this, all possible executions of the
model
are verified.
Learn more in: Functional Software Prototypes for Defining and Monitoring Individual Exercise Program
6.
model checking
aka property
checking
refers to the following problem: Given a
model
of a system, exhaustively and automatically check whether this
model
meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash.
Model checking
is a technique for automatically verifying correctness properties of finite-state systems.
Learn more in: Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL
7.
For a system
model
together with a formal description of a property,
model checking
is a push-button decision procedure. In case the desired property is not satisfied by the
model
, it returns a counter-example in form of a trace. Among the options for the specification of the
model
, there are Kripke structures and labelled transition systems. Valid choices for property specifications are linear and branching time logics, or the propositional µ-calculus.
Learn more in: Symbolic Search
8.
Model checking
is a formal verification technique that determines whether given properties of a system are satisfied by a
model
. A
model
checker takes a
model
and a property as inputs, and outputs either a claim that the property is true or a counterexample falsifying the property.
Learn more in: Formal Development of Reactive Agent-Based Systems
9.
Automatic
checking
that a
model
meets given specifications and the verification of the correctness of its given properties.
Learn more in: Measurable and Behavioral Non-Functional Requirements in Web Service Composition
10.
To algorithmically check whether a simplified
model
of a system satisfies a given specification
Learn more in: Improved Model Checking Techniques for State Space Analysis of Gene Regulatory Networks
11.
A formal decision procedure for proving a given formal specification on a design implemented as a state machine.
Learn more in: Formal Assurance of Signaling Safety: A Railways Perspective
12.
It is an automated process that when given a
model
of a system and a property specification, checks if the property is satisfied by the system or not. The properties requiring that ‘something bad will never happen’ are referred as safety properties, while the ones requiring that ‘something good will eventually happen’ are referred as liveness properties.
Learn more in: Disk-Based Search
13.
A technique for
checking
finite state concurrent systems, such as sequential circuit designs and communication protocols.
Learn more in: ScaleSem Approach to Check and to Query Semantic Graphs
14.
consist of determining whether a given property, usually described as a temporal logic formula, holds in a given
model
of a system. Traditionally, this problem has been studied for the automatic verification of hardware circuits and network protocols.
Learn more in: Improving Automated Planning with Machine Learning
15.
Model checking
is a formal verification method that involves the state-space based
model
ing of the given system and rigorously verifying its properties specified in an appropriate logic.
Learn more in: Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
Find more terms and definitions using our
Dictionary Search
.
Model Checking
appears in:
Innovative Solutions and Applications of Web...
Search inside this book for more research materials.
Recommend to a Librarian
Recommend to a Colleague
Looking for research materials? Search our database for more
Model Checking
downloadable research papers.
InfoSci-OnDemand
Download Premium Research Papers
Full text search our database of 167,400 titles for
Model Checking
to find related research papers.
Learn More About Model Checking in These Related Titles
Handbook of Research on Organizational Cultu...
Business & Management
Copyright 2021. 394 pages.
Organizations are facing major disruptions in tech...
In Stock
$37.50 Individual Chapters
Handbook of Research on Clinical Application...
Medicine & Healthcare
Copyright 2020. 1356 pages.
In the past, individuals in the dentistry field ha...
In Stock
$37.50 Individual Chapters
Theory and Practice of Business Intelligence...
Medicine & Healthcare
Copyright 2020. 322 pages.
Business intelligence supports managers in enterpr...
In Stock
$37.50 Individual Chapters
Cloud Computing Systems and Applications in...
Medicine & Healthcare
Copyright 2017. 282 pages.
The implementation of cloud technologies in health...
In Stock
$37.50 Individual Chapters
Analyzing the Economics of Financial Market...
Business & Management
Copyright 2016. 410 pages.
The prosperity and stability of any economic struc...
In Stock
$37.50 Individual Chapters
Handbook of Research on Computerized Occlusa...
Medicine & Healthcare
Copyright 2015. 973 pages.
Modern medicine is changing drastically as new tec...
In Stock
$37.50 Individual Chapters
Servant Leadership: Research and Practice
Business & Management
Copyright 2014. 405 pages.
Leaders represent a necessary part of any organiza...
In Stock
$37.50 Individual Chapters
Integrated Operations in the Oil and Gas Ind...
Business & Management
Copyright 2013. 457 pages.
The predicted “ICT revolution” has gained increasi...
In Stock
$37.50 Individual Chapters
Gaze Interaction and Applications of Eye Tra...
Medicine & Healthcare
Copyright 2012. 382 pages.
Recent advances in eye tracking technology will al...
In Stock
$37.50 Individual Chapters
Electronic Enterprise: Strategy and Architec...
Business & Management
Copyright 2003. 384 pages.
Enterprise evolution (or electronic enterprise) is...
In Stock
$37.50 Individual Chapters