model program | Sciweavers

7

JLP
2010

73views more JLP 2010»

12 years 11 months ago

Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...

Margus Veanes, Jonathan Jacky

claim paper

Read More »

11

click to vote

FORTE
2008

107views Formal Methods» more FORTE 2008»

Protocol Modeling with Model Program Composition

13 years 6 months ago

Download research.microsoft.com

Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...

Margus Veanes, Wolfram Schulte

claim paper

Read More »

15

click to vote

FORTE
2008

154views Formal Methods» more FORTE 2008»

An SMT Approach to Bounded Reachability Analysis of Model Programs

13 years 6 months ago

Download research.microsoft.com

Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...

Margus Veanes, Nikolaj Bjørner, Alexander R...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers