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.
2015
2015
Computing Biological Model Parameters by Parallel Statistical Model Checking
Biological models typically depend on many parameters. Assigning suitable values to such parameters enables model… 
Highly Cited
2011
Highly Cited
2011
Project Abstract: Logic Atlas and Integrator (LATIN)
LATIN aims at developing methods, techniques, and tools for interfacing logics and related formal systems. These systems are at… 
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
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… 
Highly Cited
1997
Highly Cited
1997
Formal verification of a TDMA protocol start-up mechanism
  • Henrik Lönn
  • Proceedings Pacific Rim International Symposium…
  • 1997
  • Corpus ID: 14866066
This paper presents a formal verification of the start-up algorithm of the DACAPO protocol. The protocol uses TDMA (Time Division… 
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)