Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Pict is a general-purpose, concurrent programming language supporting value-passing message semantics. With Pict, developers can create distributed systems. The language was designed to describe complex systems and provide the ability to verify those descriptions using a theorem prover like PVS or Isabelle/HOL.