Search Sciweavers | Sciweavers

133 search results - page 2 / 27

» Transactor-based Formal Verification of Real-time Embedded S...

click to vote

APSEC
2001
IEEE

111views Software Engineering» more APSEC 2001»

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks

13 years 9 months ago

Download embedded.cs.ccu.edu.tw

Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Mi...

claim paper

Read More »

click to vote

IFM
2010
Springer

111views Formal Methods» more IFM 2010»

Verification Architectures: Compositional Reasoning for Real-Time Systems

13 years 4 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber

claim paper

Read More »

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

13 years 9 months ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

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

13 years 10 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers