Search Sciweavers | Sciweavers

4167 search results - page 261 / 834

» Regression model checking

123

Voted

MST
2008

82views more MST 2008»

Model Checking Abilities of Agents: A Closer Look

15 years 7 months ago

Download www.in.tu-clausthal.de

Wojciech Jamroga, Jürgen Dix

claim paper

Read More »

136

Voted

LOGCOM
2006

64views more LOGCOM 2006»

A Logic of Probability with Decidable Model Checking

15 years 7 months ago

Download www.cs.tau.ac.il

Danièle Beauquier, Alexander Moshe Rabinovi...

claim paper

Read More »

181

Voted

FUIN
2007

104views more FUIN 2007»

Modelling and Checking Timed Authentication of Security Protocols

15 years 7 months ago

Download pegaz.ipipan.waw.pl

In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...

Gizela Jakubowska, Wojciech Penczek

claim paper

Read More »

142

click to vote

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

15 years 7 months ago

Download laser.cs.umass.edu

Stephen F. Siegel, Anastasia Mironova, George S. A...

claim paper

Read More »

156

Voted

AICOM
2004

70views more AICOM 2004»

Model checking for the concurrent constraint paradigm

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers