Search Sciweavers | Sciweavers

1454 search results - page 8 / 291

» Stateful traits and their formalization

152

click to vote

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

15 years 11 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

140

click to vote

FASE
2000
Springer

94views Software Engineering» more FASE 2000»

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

15 years 9 months ago

Download www.medien.ifi.lmu.de

Gianna Reggio, Egidio Astesiano, Christine Choppy,...

claim paper

Read More »

102

click to vote

CN
2008

72views more CN 2008»

Formal testing from timed finite state machines

15 years 6 months ago

Download www.lib.tsu.ru

Mercedes G. Merayo, Manuel Núñez, Is...

claim paper

Read More »

127

click to vote

IFM
2009
Springer

95views Formal Methods» more IFM 2009»

Partial Order Reduction for State/Event LTL

16 years 17 days ago

Download www.memics.cz

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri...

claim paper

Read More »

123

click to vote

CAV
2007
Springer

110views Hardware» more CAV 2007»

Parallelising Symbolic State-Space Generators

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers