Original title: Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker
Translated title: Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker
Authors: Pařízek, P. ; Plášil, František ; Kofroň, Jan
Document type: Research reports
Year: 2006
Language: eng
Series: Technical Report, volume: 2006/2
Abstract: [eng] [cze]

Keywords: behavior protocols; formal verification; Java PathFinder; software components
Project no.: CEZ:AV0Z10300504 (CEP), GD201/05/H014 (CEP), 1ET400300504 (CEP)
Funding provider: GA ČR, GA AV ČR

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0148105

Permalink: http://www.nusl.cz/ntk/nusl-37382


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Reports > Research reports
 Record created 2011-07-01, last modified 2024-01-26


No fulltext
  • Export as DC, NUŠL, RIS
  • Share