Search Sciweavers | Sciweavers

4502 search results - page 171 / 901

» Regular Model Checking

103

click to vote

SOCA
2007
IEEE

107views Applied Computing» more SOCA 2007»

A Model Checking Approach to Verify BPEL4WS Workflows

15 years 11 months ago

Download www.inf.usi.ch

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini

claim paper

Read More »

119

click to vote

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

Voted

ATVA
2007
Springer

91views Hardware» more ATVA 2007»

Model Checking Contracts - A Case Study

15 years 11 months ago

Download folk.uio.no

Gordon J. Pace, Cristian Prisacariu, Gerardo Schne...

claim paper

Read More »

112

Voted

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 11 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

126

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers