Search Sciweavers | Sciweavers

322 search results - page 14 / 65

» Symbolic model checking of institutions

click to vote

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

13 years 11 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifak...

claim paper

Read More »

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

13 years 11 months ago

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

13 years 9 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

click to vote

ATAL
2010
Springer

178views Intelligent Agents» more ATAL 2010»

Symbolic model checking for agent interactions

13 years 8 months ago

Download users.encs.concordia.ca

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

claim paper

Read More »

click to vote

IFE
2008

31views more IFE 2008»

An industrial application of symbolic model checking

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers