Search Sciweavers | Sciweavers

2896 search results - page 150 / 580

» Curricula Modeling and Checking

140

Voted

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 10 months ago

Download cs.nyu.edu

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

claim paper

Read More »

122

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 10 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

141

click to vote

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

15 years 10 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 10 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

103

click to vote

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers