Search Sciweavers | Sciweavers

4036 search results - page 71 / 808

» Formal Methods

116

click to vote

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

15 years 6 months ago

Download www.tcs.tifr.res.in

P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...

claim paper

Read More »

114

click to vote

SAS
2010
Springer

126views Formal Methods» more SAS 2010»

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis

15 years 3 months ago

Download www.clip.dia.fi.upm.es

Elvira Albert, Puri Arenas, Samir Genaim, German P...

claim paper

Read More »

118

click to vote

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

15 years 3 months ago

Download www.cs.arizona.edu

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. De...

claim paper

Read More »

140

click to vote

ISOLA
2010
Springer

125views Formal Methods» more ISOLA 2010»

Dependability Analysis and Verification for Connected Systems

15 years 2 months ago

Download www.prismmodelchecker.org

Felicita Di Giandomenico, Marta Z. Kwiatkowska, Ma...

claim paper

Read More »

111

click to vote

FM
2009
Springer

115views Formal Methods» more FM 2009»

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers