Search Sciweavers | Sciweavers

612 search results - page 6 / 123

» Bounded model checking for knowledge and real time

158

click to vote

ISORC
2005
IEEE

197views Distributed And Parallel Com...» more ISORC 2005»

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software

15 years 10 months ago

Download www.cs.virginia.edu

As complexity of real-time embedded software grows, it is desirable to use formal veriﬁcation techniques to achieve a high level of assurance. We discuss application of model-ch...

Zonghua Gu, Kang G. Shin

claim paper

Read More »

141

click to vote

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

15 years 10 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

116

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 9 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

ICRA
2000
IEEE

83views Robotics» more ICRA 2000»

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers

15 years 9 months ago

Download musliner.com

David J. Musliner, Robert P. Goldman, Michael J. S...

claim paper

Read More »

151

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers