Search Sciweavers | Sciweavers

493 search results - page 11 / 99

» Bounded LTL Model Checking with Stable Models

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

15 years 4 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

click to vote

ISOLA
2007
Springer

120views Formal Methods» more ISOLA 2007»

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

15 years 4 months ago

Download www.stups.uni-duesseldorf.de

Michael Leuschel, Daniel Plagge

claim paper

Read More »

click to vote

FMCAD
2004
Springer

112views Formal Methods» more FMCAD 2004»

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

15 years 3 months ago

Download www.fi.muni.cz

Lubos Brim, Ivana Cerná, Pavel Moravec 0002...

claim paper

Read More »

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

15 years 2 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers