Search Sciweavers | Sciweavers

4962 search results - page 259 / 993

» Stochastic Model Checking

Voted

ENTCS
2006

125views more ENTCS 2006»

Parallel Assignments in Software Model Checking

15 years 2 months ago

Download www.contrib.andrew.cmu.edu

In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.

Murray Stokely, Sagar Chaki, Joël Ouaknine

claim paper

Read More »

click to vote

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 2 months ago

Download pllab.kaist.ac.kr

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...

claim paper

Read More »

Voted

IANDC
2006

52views more IANDC 2006»

Incompleteness of states w.r.t. traces in model checking

15 years 2 months ago

Download www.math.unipd.it

Cousot and Cousot introduced and studied a general past/future-time specification language, called

Roberto Giacobazzi, Francesco Ranzato

claim paper

Read More »

103

Voted

CLEIEJ
2007

51views more CLEIEJ 2007»

Model Checking Techniques applied to the design of Web Services

15 years 2 months ago

Download www.clei.cl

Gregorio Díaz, María-Emilia Cambrone...

claim paper

Read More »

Voted

IPL
2008

61views more IPL 2008»

On the complexity of partial order trace model checking

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers