Skip to search formSkip to main contentSkip to account menu

Model checking

Known as: Symbolic Model Verification, Modelchecking, Model checking (disambiguation) 
In computer science, model checking or property checking refers to the following problem:Given a model of a system, exhaustively and automatically… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardAbstract interpretationAbstraction (software engineering)Abstraction model checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Experience with Model Checking Linearizability
Non-blocking concurrent algorithms offer significant performance advantages, but are very difficult to construct and verify. In… 
Review
2006
Review
2006
Attacks on PKM Protocols of IEEE 802.16 and Its Later Versions
Without physical boundaries, a wireless network faces many more vulnerabilities than a wired network does. IEEE 802.16 provides a… 
Highly Cited
2005
Highly Cited
2005
Engineering Organization-Based Multiagent Systems
In this paper, we examine the Multiagent Systems Engineering (MaSE) methodology and its applicability to developing organization… 
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able… 
Highly Cited
2004
Highly Cited
2004
A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems
We present a framework, called meta scheduler, for implementing real-time scheduling algorithms. The meta scheduler is a portable… 
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
Highly Cited
2002
Highly Cited
2002
Model Checkers in Software Testing
Highly Cited
1999
Highly Cited
1999
Handling complex and uncertain information in the ExIFO and NF2 data models
Trends in databases leading to complex objects present opportunities for representing imprecision and uncertainty that were… 
Highly Cited
1999
Highly Cited
1999
Verifying IP-core based system-on-chip designs
We describe a methodology for verifying system-on-chip designs. In our methodology, the problem of verifying system-on-chip… 
1996
1996
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
This paper presents a prefixed tableaux calculus for Propositional Dynamic Logic with Converse based on a combination of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)