Search Sciweavers | Sciweavers

3256 search results - page 1 / 652

» Applications of Formal Methods to System Design and Verifica...

click to vote

JUCS
2007

101views more JUCS 2007»

Applications of Formal Methods to System Design and Verification

13 years 5 months ago

Download www.jucs.org

Farhad Arbab, Marjan Sirjani

claim paper

Read More »

click to vote

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

13 years 9 months ago

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

click to vote

TII
2008

98views more TII 2008»

Formal Methods for Systems Engineering Behavior Models

13 years 5 months ago

Download www.irccyn.ec-nantes.fr

Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...

Charlotte Seidner, Olivier H. Roux

claim paper

Read More »

click to vote

FORMATS
2007
Springer

172views Formal Methods» more FORMATS 2007»

Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters

13 years 9 months ago

Download www-formal.stanford.edu

Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...

claim paper

Read More »

click to vote

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers