Search Sciweavers | Sciweavers

12333 search results - page 226 / 2467

» System Level Modelling for Hardware Software Systems

143

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

16 years 5 days ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

162

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 10 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

149

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

15 years 10 months ago

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

146

click to vote

EMSOFT
2010
Springer

108views Software Engineering» more EMSOFT 2010»

Ptera: an event-oriented model of computation for heterogeneous systems

15 years 4 months ago

Download www.eecs.berkeley.edu

Thomas Huining Feng, Edward A. Lee, Lee W. Shruben

claim paper

Read More »

166

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers