Sciweavers

558 search results - page 8 / 112

» Optimizing Symbolic Model Checking for Constraint-Rich Model...

21

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

13 years 9 months ago

Testing Distributed Systems Through Symbolic Model Checking

Download www.ulb.ac.be

Gabriel Kalyon, Thierry Massart, Cédric Meu...

claim paper

Read More »

21

ATAL
2010
Springer

178views Intelligent Agents» more ATAL 2010»

Symbolic model checking for agent interactions

13 years 8 months ago

Symbolic model checking for agent interactions

Download users.encs.concordia.ca

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...

claim paper

Read More »

4

IFE
2008

31views more IFE 2008»

An industrial application of symbolic model checking

13 years 7 months ago

An industrial application of symbolic model checking

Download preibusch.de

Florian Kammüller, Sören Preibusch

claim paper

Read More »

22

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

13 years 7 months ago

Combining symbolic execution with model checking to verify parallel numerical programs

Download laser.cs.umass.edu

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

claim paper

Read More »

32

ATVA
2011
Springer

240views Hardware» more ATVA 2011»

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking

12 years 7 months ago

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking

Download www.lrde.epita.fr

We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...

Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud,...

claim paper

Read More »

« Prev « First page 8 / 112 Last » Next »