Your search returned 20 results.

Not what you expected? Check for suggestions
BOOKS
Verification of sequential and concurrent programs

by Apt, Krzysztof R | Olderog, Ernst-Rudiger.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 32 Call number: 681.3.06 APT.

Place hold Log in to add tags
BOOKS
Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings

by Courcoubetis, Costas, Ed.

Series: Lecture notes in computer science ; 00697Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989

by Sifakis, J. Ed.

Series: Lecture notes in computer science ; 407Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Hardware Specification, Verification and Synthesis: Mathematical Aspects Proceedings, Math. Sci.Inst.Workshop, New York, USA, 1989

by Leeser, M. Ed | Brown, G. Ed.

Series: Lecture notes in computer science ; 00408Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
8th International Conference on computer aided verification Proceedings, New Brunswick, NJ, USA, 1996

by Alur, Rajeev. Ed | Henzinger, Thomas A. Ed.

Series: Lecture notes in computer science ; 01102Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Proof Verification and Approximation Algorithms

by Mayr, Ernst W. Ed | Promel, Hans Jurgen. Ed | Steger, Angelika. Ed.

Series: Lecture notes in computer science ; 01367Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Formal Hardware Verification : Methods and Systems in Comparison

by Kropf, Thomas. Ed.

Series: Lecture notes in computer science ; 01287Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Verification of Digital and Hybrid Systems

by Inan, M Kemal. Ed | Kurshan, Robert P. Ed.

Series: NATO ASI Series F : Computer and Systems Sciences, Vol. 170Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 INAN.

Place hold Log in to add tags
BOOKS
Computer Aided Verification : Proceedings, 11th International Conference, CAV'99, Trento, 1999

by Halbwachs, Nicolas. Ed | Peled, Doron. Ed.

Series: Lecture notes in computer science ; 01633Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Model Checking

by Clarke, Edmund M | Grumberg, Orna | Peled. Doron A.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.

Place hold Log in to add tags
BOOKS
Temporal Verification of Reactive Systems Safety

by Manna, Zohar | Pnueli, Amir.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAN.

Place hold Log in to add tags
BOOKS
Computer Aided Verification, Proceedings of the 12th International Conference, Chicago, 2000

by Emerson, E Allen. Ed | Sistla, A Prasad. Ed.

Series: Lecture notes in computer science ; 01855Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000

by Havelund, Klaus. Ed | Penix, John. Ed | Visser, Willem. Ed.

Series: Lecture notes in computer science ; 01885Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 24 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Computer aided verification : 13th international conference; proceedings

by Berry, Gerard. Ed | Comon, Hubert. Ed | Finkel, Alain. . Ed.

Series: Lecture notes in computer science ; 02102Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Data refinement model-oriented proof methods and their comparison

by de Roever, Willem-Paul | Engelhardt, Kai.

Series: Cambridge tracts in theoretical computer science; 47Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DER.

Place hold Log in to add tags
BOOKS
Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

by Dams, Dennis | Gerth, Rob | Leue, Stefan Eds.

Series: Lecture notes in computer science ; 01680Material type: Text Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem

by Godefroid, Patrice.

Series: Lecture notes in computer science ; 01032Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS.

Place hold Log in to add tags
THESIS & DISSERTATION
No cover image available
Foundations of Security Protocol Analysis

by Suresh, S. P [author].

Material type: Text Text Publication details: 2003Dissertation Note: 2003 ; Ph.D ; University of MadrasAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: UNM TH-79 .

Place hold Log in to add tags
THESIS & DISSERTATION
No cover image available
Parameterized complexity of some problems in concurrency and verification

by Praveen, M [author].

Material type: Text Text Publication details: 2011Dissertation Note: 2011 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th39 .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha