Search Sciweavers | Sciweavers

32032 search results - page 116 / 6407

» Verified programming in Guru

134

click to vote

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

15 years 10 months ago

Download wistp2007.wistp.org

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...

claim paper

Read More »

119

click to vote

DALT
2005
Springer

97views Intelligent Agents» more DALT 2005»

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

15 years 10 months ago

Download users.encs.concordia.ca

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...

claim paper

Read More »

105

click to vote

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

15 years 10 months ago

Download www.cis.upenn.edu

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

103

click to vote

FOSSACS
2004
Springer

63views Software Engineering» more FOSSACS 2004»

Specifying and Verifying Partial Order Properties Using Template MSCs

15 years 10 months ago

Download www.liafa.jussieu.fr

Blaise Genest, Marius Minea, Anca Muscholl, Doron ...

claim paper

Read More »

click to vote

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers