Truth/SLC -- a parallel verification platform for concurrent systems

DOI10.1007/3-540-44585-4_24MaRDI QIDQ4551158zbMATH OpenFDO

Authors Martin Leucker, Thomas Noll

Publication date 4 September 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020255

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Truth -- a verification platform for concurrent systems
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 4145305
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• Software model checking

Cited in

(17)

• Truth/SLC
• Verification is experimentation!
• The symbiosis of concurrency and verification: teaching and case studies
• A verification tool developer's vade mecum.
• Concurrent usage control implementation verification using the SPIN model checker
• scientific article; zbMATH DE number 4145305 (Why is no real title available?)
• scientific article; zbMATH DE number 3940705 (Why is no real title available?)
• scientific article; zbMATH DE number 1140074 (Why is no real title available?)
• A model checking project at Philips Research
• Verification is experimentation!
• SyLVaaS: system level formal verification as a service
• A path construction algorithm for translation validation using PRES+ models
• Truth -- a verification platform for concurrent systems
• Tools and Algorithms for the Construction and Analysis of Systems
• ENFORCING CONCURRENT TEMPORAL BEHAVIORS
• Computer Aided Verification
• Automatic generation of verified concurrent hardware using VHDL

This page was built for publication: Truth/SLC -- a parallel verification platform for concurrent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4551158)