Search Sciweavers | Sciweavers

1156 search results - page 18 / 232

» Compositional Methods for Information-Hiding

click to vote

FM
1999
Springer

122views Formal Methods» more FM 1999»

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

15 years 7 months ago

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

click to vote

COMPOS
1997
Springer

156views Formal Methods» more COMPOS 1997»

Composition: A Way to Make Proofs Harder

15 years 7 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

122

click to vote

IFM
2000
Springer

111views Formal Methods» more IFM 2000»

A Concurrent and Compositional Petri Net Semantics of Preemption

15 years 6 months ago

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

101

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 4 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

108

click to vote

IFM
2010
Springer

111views Formal Methods» more IFM 2010»

Verification Architectures: Compositional Reasoning for Real-Time Systems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers