Search Sciweavers | Sciweavers

4047 search results - page 2 / 810

» Algebraic Model Checking

126

click to vote

FMICS
2008
Springer

123views Formal Methods» more FMICS 2008»

Efficient Symbolic Model Checking for Process Algebras

15 years 5 months ago

Download www.info.ucl.ac.be

Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...

José Vander Meulen, Charles Pecheur

claim paper

Read More »

137

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 9 months ago

Download cs.nyu.edu

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...

claim paper

Read More »

127

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 8 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

click to vote

ENTCS
2006

122views more ENTCS 2006»

Algorithmic Algebraic Model Checking III: Approximate Methods

15 years 4 months ago

Download cs.nyu.edu

Venkatesh Mysore, Bud Mishra

claim paper

Read More »

click to vote

ECEASST
2010

116views Computer Vision» more ECEASST 2010»

Algebraic Model Checking

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers