Search Sciweavers | Sciweavers

1454 search results - page 8 / 291

» Stateful traits and their formalization

click to vote

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

15 years 6 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

Voted

FASE
2000
Springer

94views Software Engineering» more FASE 2000»

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

15 years 4 months ago

Download www.medien.ifi.lmu.de

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

claim paper

Read More »

click to vote

CN
2008

72views more CN 2008»

Formal testing from timed finite state machines

15 years 14 days ago

Download www.lib.tsu.ru

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

claim paper

Read More »

click to vote

IFM
2009
Springer

95views Formal Methods» more IFM 2009»

Partial Order Reduction for State/Event LTL

15 years 7 months ago

Download www.memics.cz

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

claim paper

Read More »

click to vote

CAV
2007
Springer

110views Hardware» more CAV 2007»

Parallelising Symbolic State-Space Generators

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers