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

15 years 3 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

15 years 3 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

15 years 1 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

15 years 27 days 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers