Search Sciweavers | Sciweavers

8828 search results - page 257 / 1766

» Formal methods in practice

138

click to vote

CAV
2009
Springer

126views Hardware» more CAV 2009»

Reachability Analysis of Hybrid Systems Using Support Functions

16 years 7 months ago

Download www-verimag.imag.fr

Colas Le Guernic, Antoine Girard

claim paper

Read More »

162

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

16 years 1 months ago

Download ropas.snu.ac.kr

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...

claim paper

Read More »

209

click to vote

FM
2009
Springer

116views Formal Methods» more FM 2009»

Language and Tool Support for Class and State Machine Refinement in UML-B

16 years 1 months ago

Download eprints.ecs.soton.ac.uk

Mar Yah Said, Michael J. Butler, Colin F. Snook

claim paper

Read More »

108

click to vote

FM
2009
Springer

105views Formal Methods» more FM 2009»

Three-Valued Spotlight Abstractions

16 years 1 months ago

Download www.cs.uni-paderborn.de

Jonas Schrieb, Heike Wehrheim, Daniel Wonisch

claim paper

Read More »

117

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers