Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642148071, 9783642148088

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing of Abstract Components

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_13 ◽

2010 ◽

pp. 184-198 ◽

Cited By ~ 2

Author(s):

Bilal Kanso ◽

Marc Aiguier ◽

Frédéric Boulanger ◽

Assia Touil

Download Full-text

A Denotational Semantical Model for Orc Language

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_8 ◽

2010 ◽

pp. 106-120 ◽

Cited By ~ 3

Author(s):

Qin Li ◽

Huibiao Zhu ◽

Jifeng He

Download Full-text

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_19 ◽

2010 ◽

pp. 275-289 ◽

Cited By ~ 2

Author(s):

Mariano M. Moscato ◽

Carlos G. López Pombo ◽

Marcelo F. Frias

Keyword(s):

Software Requirements ◽

Core Extraction

Download Full-text

Invariants and Well-Foundedness in Program Algebra

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_1 ◽

2010 ◽

pp. 1-14 ◽

Cited By ~ 1

Author(s):

Ian J. Hayes

Keyword(s):

Program Algebra ◽

Well Foundedness

Download Full-text

An Extended cCSP with Stable Failures Semantics

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_9 ◽

2010 ◽

pp. 121-136 ◽

Cited By ~ 6

Author(s):

Zhenbang Chen ◽

Zhiming Liu

Download Full-text

Complete Calculi for Structured Specifications in Fork Algebra

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_20 ◽

2010 ◽

pp. 290-305

Author(s):

Carlos Gustavo Lopez Pombo ◽

Marcelo Fabiùn Frias

Keyword(s):

Fork Algebra

Download Full-text

Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_18 ◽

2010 ◽

pp. 260-274 ◽

Cited By ~ 18

Author(s):

Ashish Darbari ◽

Bernd Fischer ◽

João Marques-Silva

Keyword(s):

Sat Solving ◽

Proof Checking ◽

Industrial Strength

Download Full-text

Justification Logic and History Based Computation

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_23 ◽

2010 ◽

pp. 337-351 ◽

Cited By ~ 3

Author(s):

Francisco Bavera ◽

Eduardo Bonelli

Keyword(s):

Justification Logic

Download Full-text

The TLA + Proof System: Building a Heterogeneous Verification Platform

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_3 ◽

2010 ◽

pp. 44-44 ◽

Cited By ~ 13

Author(s):

Kaustuv Chaudhuri ◽

Damien Doligez ◽

Leslie Lamport ◽

Stephan Merz

Keyword(s):

Proof System ◽

System Building

Download Full-text

Characterizing Locality (Encapsulation) with Bisimulation

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010 ◽

10.1007/978-3-642-14808-8_22 ◽

2010 ◽

pp. 322-336 ◽

Cited By ~ 1

Author(s):

Pablo F. Castro ◽

Tom S. E. Maibaum

Download Full-text

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Testing of Abstract Components

A Denotational Semantical Model for Orc Language

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements

Invariants and Well-Foundedness in Program Algebra

An Extended cCSP with Stable Failures Semantics

Complete Calculi for Structured Specifications in Fork Algebra

Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking

Justification Logic and History Based Computation

The TLA + Proof System: Building a Heterogeneous Verification Platform

Characterizing Locality (Encapsulation) with Bisimulation

Lecture Notes in Computer Science - Theoretical Aspects of Computing – ICTAC 2010
Latest Publications