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.
2006
2006
Generating Finite State Machines from System C
SystemC is a system level language proposed to raise the abstraction level for embedded systems design and verification. In this… 
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
2005
Highly Cited
2005
Developing and assuring trustworthy Web services
Web services are emerging technologies that are changing the way we develop and use computer systems and software. Current Web… 
2005
2005
Replay attack in TCG specification and solution
We prove the existence of a flaw which we individuated in the design of the object-independent authorization protocol (OIAP… 
Highly Cited
2005
Highly Cited
2005
Evaluation of a Food Frequency Questionnaire-Food Composition Approach for Estimating Dietary Intake of Inorganic Arsenic and Methylmercury 1
  • PalgeL. B.
  • 2005
  • Corpus ID: 5190029
Inorganic arsenic intake in 969 men and women and methylmercury intake in 785 men and women from across the United States were… 
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
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)